Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/isola/QuaresmaPN14
%A Quaresma, Jose
%A Probst, Christian W.
%A Nielson, Flemming
%B ISoLA (2)
%D 2014
%E Margaria, Tiziana
%E Steffen, Bernhard
%I Springer
%K
%P 509-523
%T The Guided System Development Framework: Modeling and Verifying Communication Systems.
%U http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#QuaresmaPN14
%V 8803
%@ 978-3-662-45230-1
@inproceedings{conf/isola/QuaresmaPN14,
added-at = {2023-12-14T15:33:50.000+0100},
author = {Quaresma, Jose and Probst, Christian W. and Nielson, Flemming},
biburl = {https://www.bibsonomy.org/bibtex/23e8d76c77dbb73d68039a39e6e4d6e9d/admin},
booktitle = {ISoLA (2)},
crossref = {conf/isola/2014-2},
editor = {Margaria, Tiziana and Steffen, Bernhard},
ee = {https://www.wikidata.org/entity/Q59416307},
interhash = {ecb3adf51b797b680f952d6d32b13878},
intrahash = {3e8d76c77dbb73d68039a39e6e4d6e9d},
isbn = {978-3-662-45230-1},
keywords = {},
pages = {509-523},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-14T15:33:50.000+0100},
title = {The Guided System Development Framework: Modeling and Verifying Communication Systems.},
url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#QuaresmaPN14},
volume = 8803,
year = 2014
}