%0 Conference Paper %1 conf/eurographics/JohnsonH90 %A Johnson, C. W. %A Harrison, Michael D. %B Eurographics %D 1990 %E Vandoni, Carlo E. %E Duce, David A. %I North-Holland / Eurographics Association %K dblp %T Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. %U http://dblp.uni-trier.de/db/conf/eurographics/eg1990.html#JohnsonH90 %@ 978-0-444-88683-5

@inproceedings{conf/eurographics/JohnsonH90, added-at = {2020-05-07T00:00:00.000+0200}, author = {Johnson, C. W. and Harrison, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/26eb3f23e4bc2a5ab8b76abea59a12783/dblp}, booktitle = {Eurographics}, crossref = {conf/eurographics/1990}, editor = {Vandoni, Carlo E. and Duce, David A.}, ee = {https://doi.org/10.2312/egtp.19901038}, interhash = {978fb326f317e6ea57ebd9896c69a12f}, intrahash = {6eb3f23e4bc2a5ab8b76abea59a12783}, isbn = {978-0-444-88683-5}, keywords = {dblp}, publisher = {North-Holland / Eurographics Association}, timestamp = {2020-07-10T11:43:00.000+0200}, title = {Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/eurographics/eg1990.html#JohnsonH90}, year = 1990 }