%0 Conference Paper %1 conf/nato/Cantone92 %A Cantone, Giovanni %B NATO ASI RTC %D 1992 %E Halang, Wolfgang A. %E Stoyenko, Alexander D. %I Springer %K dblp %P 325-345 %T Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems. %U http://dblp.uni-trier.de/db/conf/nato/rtc1992.html#Cantone92 %V 127 %@ 978-3-642-88049-0

@inproceedings{conf/nato/Cantone92, added-at = {2017-05-12T00:00:00.000+0200}, author = {Cantone, Giovanni}, biburl = {https://www.bibsonomy.org/bibtex/284e80631b053771330ebb8636d6fcedd/dblp}, booktitle = {NATO ASI RTC}, crossref = {conf/nato/1992}, editor = {Halang, Wolfgang A. and Stoyenko, Alexander D.}, ee = {https://doi.org/10.1007/978-3-642-88049-0_16}, interhash = {7433a13d1fcb8ebd36096bfaae8b1ee9}, intrahash = {84e80631b053771330ebb8636d6fcedd}, isbn = {978-3-642-88049-0}, keywords = {dblp}, pages = {325-345}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2017-05-13T11:36:34.000+0200}, title = {Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/nato/rtc1992.html#Cantone92}, volume = 127, year = 1992 }