%0 Conference Paper %1 conf/ifip/Holzmann94 %A Holzmann, Gerard J. %B IFIP Congress (1) %D 1994 %E Pehrson, Björn %E Simon, Imre %I North-Holland %K dblp %P 35-44 %T The Theory and Practice of A Formal Method: NewCoRe. %U http://dblp.uni-trier.de/db/conf/ifip/ifip94-1.html#Holzmann94 %V A-51 %@ 0-444-81989-4

@inproceedings{conf/ifip/Holzmann94, added-at = {2016-03-15T00:00:00.000+0100}, author = {Holzmann, Gerard J.}, biburl = {https://www.bibsonomy.org/bibtex/222df6b8b59206a511b02b26c71133834/dblp}, booktitle = {IFIP Congress (1)}, crossref = {conf/ifip/1994-1}, editor = {Pehrson, Björn and Simon, Imre}, interhash = {51715c5db3afabc6e3c2aedd821b0029}, intrahash = {22df6b8b59206a511b02b26c71133834}, isbn = {0-444-81989-4}, keywords = {dblp}, pages = {35-44}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2016-03-16T12:03:14.000+0100}, title = {The Theory and Practice of A Formal Method: NewCoRe.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip94-1.html#Holzmann94}, volume = {A-51}, year = 1994 }