%0 Conference Paper %1 conf/cases/Pnueli00 %A Pnueli, Amir %B CASES %D 2000 %I ACM %K dblp %P 1 %T Rigorous development of embedded systems. %U http://dblp.uni-trier.de/db/conf/cases/cases2000.html#Pnueli00 %@ 1-58113-338-3

@inproceedings{conf/cases/Pnueli00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/233d984f1e4921e8b745aa6298d34c7ab/dblp}, booktitle = {CASES}, crossref = {conf/cases/2000}, ee = {https://doi.org/10.1145/354880.354881}, interhash = {017ce0bc254927ed2672414c402f16fb}, intrahash = {33d984f1e4921e8b745aa6298d34c7ab}, isbn = {1-58113-338-3}, keywords = {dblp}, pages = 1, publisher = {ACM}, timestamp = {2018-11-07T13:40:36.000+0100}, title = {Rigorous development of embedded systems.}, url = {http://dblp.uni-trier.de/db/conf/cases/cases2000.html#Pnueli00}, year = 2000 }