%0 Conference Paper %1 conf/concur/GabbayHH89 %A Gabbay, Dov M. %A Hodkinson, Ian M. %A Hunter, Anthony %B Concurrency: Theory, Language, And Architecture %D 1989 %E Yonezawa, Akinori %E Ito, Takayasu %I Springer %K dblp %P 64-78 %T Using the Temporal Logic RDL for Design Specifications. %U http://dblp.uni-trier.de/db/conf/concur/concur1989.html#GabbayHH89 %V 491 %@ 3-540-53932-8

@inproceedings{conf/concur/GabbayHH89, added-at = {2020-12-29T00:00:00.000+0100}, author = {Gabbay, Dov M. and Hodkinson, Ian M. and Hunter, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/2899e01f486922d77afb94325e09c9d52/dblp}, booktitle = {Concurrency: Theory, Language, And Architecture}, crossref = {conf/concur/1989}, editor = {Yonezawa, Akinori and Ito, Takayasu}, ee = {https://doi.org/10.1007/3-540-53932-8_44}, interhash = {387980b1bf43630323d5aeddc0b9e6e5}, intrahash = {899e01f486922d77afb94325e09c9d52}, isbn = {3-540-53932-8}, keywords = {dblp}, pages = {64-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:32:39.000+0200}, title = {Using the Temporal Logic RDL for Design Specifications.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1989.html#GabbayHH89}, volume = 491, year = 1989 }