%0 Conference Paper %1 conf/ftrtft/PnueliH88 %A Pnueli, Amir %A Harel, Eyal %B FTRTFT %D 1988 %E Joseph, Mathai %I Springer %K dblp %P 84-98 %T Applications of Temporal Logic to the Specification of Real-time Systems. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1988.html#PnueliH88 %V 331 %@ 3-540-50302-1

@inproceedings{conf/ftrtft/PnueliH88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Pnueli, Amir and Harel, Eyal}, biburl = {https://www.bibsonomy.org/bibtex/2fc421a1683d824f49b7623ee144eef93/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1988}, editor = {Joseph, Mathai}, ee = {https://doi.org/10.1007/3-540-50302-1_4}, interhash = {bb372dc625b2dc04f3c6c98b97b2f143}, intrahash = {fc421a1683d824f49b7623ee144eef93}, isbn = {3-540-50302-1}, keywords = {dblp}, pages = {84-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:02.000+0200}, title = {Applications of Temporal Logic to the Specification of Real-time Systems.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1988.html#PnueliH88}, volume = 331, year = 1988 }