%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 dblp %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 = {2019-06-02T00:00:00.000+0200}, author = {Quaresma, Jose and Probst, Christian W. and Nielson, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/23e8d76c77dbb73d68039a39e6e4d6e9d/dblp}, 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 = {dblp}, pages = {509-523}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:08:05.000+0200}, 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 }