%0 Conference Paper %1 conf/interact/Johnson90 %A Johnson, C. W. %B INTERACT %D 1990 %E Diaper, Dan %E Gilmore, David J. %E Cockton, Gilbert %E Shackel, Brian %I North-Holland %K dblp %P 1019-1020 %T Using temporal logic to prototype interactive systems. %U http://dblp.uni-trier.de/db/conf/interact/interact1990.html#Johnson90 %@ 0-444-88817-9

@inproceedings{conf/interact/Johnson90, added-at = {2002-01-07T00:00:00.000+0100}, author = {Johnson, C. W.}, biburl = {https://www.bibsonomy.org/bibtex/28c2aea3212ace9730807c6c5dbf9f4b4/dblp}, booktitle = {INTERACT}, crossref = {conf/interact/1990}, date = {2002-01-07}, description = {dblp}, editor = {Diaper, Dan and Gilmore, David J. and Cockton, Gilbert and Shackel, Brian}, interhash = {19317e792a85d4a4604ed939e59e9d19}, intrahash = {8c2aea3212ace9730807c6c5dbf9f4b4}, isbn = {0-444-88817-9}, keywords = {dblp}, pages = {1019-1020}, publisher = {North-Holland}, timestamp = {2002-01-07T00:00:00.000+0100}, title = {Using temporal logic to prototype interactive systems.}, url = {http://dblp.uni-trier.de/db/conf/interact/interact1990.html#Johnson90}, year = 1990 }