Fulltext present in this item

Thumbnail
Fulltext: 91831.pdf
Format: PDF
Description: publisher's version
Title: Formal Component-Based Semantics
Author(s): Madlener, K.; Smetsers, S. ; Eekelen, M.C.J.D. van
Publication year: 2011
In: Reiniers, M.A.; Sobocinski, P. (ed.), Proceedings Eight Workshop on Structural Operational Semantics 2011 (SOS'11), Aachen, Germany, 5th September 2011, pp. 17-30
Publisher: Southampton : EPTCS
ISBN: 9783642273742
Series: Electronic Proceedings in Theoretical Computer Science ; 62
DOI: https://doi.org/10.4204/EPTCS.62.2
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/91831   https://hdl.handle.net/2066/91831

Display more details
Editor(s): Reiniers, M.A.; Sobocinski, P.
Subject: Digital Security
Organization: Digital Security
Software Science
Security of Systems
Book title: Reiniers, M.A.; Sobocinski, P. (ed.), Proceedings Eight Workshop on Structural Operational Semantics 2011 (SOS'11), Aachen, Germany, 5th September 2011
Page start: p. 17
Page end: p. 30

This item appears in the following Collection(s)

Browse

Statistics