%0 Conference Paper %1 conf/mfcs/MannaP91 %A Manna, Zohar %A Pnueli, Amir %B MFCS %D 1991 %E Tarlecki, Andrzej %I Springer %K dblp %P 28-42 %T On the Faithfulness of Formal Models. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#MannaP91 %V 520 %@ 3-540-54345-7

@inproceedings{conf/mfcs/MannaP91, added-at = {2017-03-20T00:00:00.000+0100}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/26ffb002a2ac22b88dfb8921baa3030cc/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1991}, editor = {Tarlecki, Andrzej}, ee = {http://dx.doi.org/10.1007/3-540-54345-7_46}, interhash = {65b44640b77721411abd271db87f5b11}, intrahash = {6ffb002a2ac22b88dfb8921baa3030cc}, isbn = {3-540-54345-7}, keywords = {dblp}, pages = {28-42}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-21T11:39:35.000+0100}, title = {On the Faithfulness of Formal Models.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#MannaP91}, volume = 520, year = 1991 }