%0 Conference Paper %1 conf/nada/PhilippsS98 %A Philipps, Jan %A Scholz, Peter %B Prospects for Hardware Foundations %D 1998 %E Möller, Bernhard %E Tucker, John V. %I Springer %K dblp %P 356-389 %T Formal Verification and Hardware Design with Statecharts. %U http://dblp.uni-trier.de/db/conf/nada/nada1998.html#PhilippsS98 %V 1546 %@ 3-540-65461-5

@inproceedings{conf/nada/PhilippsS98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Philipps, Jan and Scholz, Peter}, biburl = {https://www.bibsonomy.org/bibtex/21cea157d24818da5490adb13415401fc/dblp}, booktitle = {Prospects for Hardware Foundations}, crossref = {conf/nada/1998}, editor = {Möller, Bernhard and Tucker, John V.}, ee = {https://doi.org/10.1007/3-540-49254-2_11}, interhash = {602a17a75b0ab6f9a763f455be49ffd9}, intrahash = {1cea157d24818da5490adb13415401fc}, isbn = {3-540-65461-5}, keywords = {dblp}, pages = {356-389}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-13T11:39:11.000+0200}, title = {Formal Verification and Hardware Design with Statecharts.}, url = {http://dblp.uni-trier.de/db/conf/nada/nada1998.html#PhilippsS98}, volume = 1546, year = 1998 }