%0 Conference Paper %1 conf/esec/GhezziFB93 %A Ghezzi, Carlo %A Felder, Miguel %A Bellettini, Carlo %B ESEC %D 1993 %E Sommerville, Ian %E Paul, Manfred %I Springer %K dblp %P 11-36 %T Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. %U http://dblp.uni-trier.de/db/conf/esec/esec93.html#GhezziFB93 %V 717 %@ 3-540-57209-0

@inproceedings{conf/esec/GhezziFB93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Ghezzi, Carlo and Felder, Miguel and Bellettini, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/2a8cdeeb8d9abc0afb7fb23381617b025/dblp}, booktitle = {ESEC}, crossref = {conf/esec/1993}, editor = {Sommerville, Ian and Paul, Manfred}, ee = {https://doi.org/10.1007/3-540-57209-0_3}, interhash = {72c596ad4b9f6460bba771ec2e1b26d5}, intrahash = {a8cdeeb8d9abc0afb7fb23381617b025}, isbn = {3-540-57209-0}, keywords = {dblp}, pages = {11-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:51:53.000+0200}, title = {Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.}, url = {http://dblp.uni-trier.de/db/conf/esec/esec93.html#GhezziFB93}, volume = 717, year = 1993 }