%0 Conference Paper %1 conf/arts/BjornerMSU97 %A Bjørner, Nikolaj S. %A Manna, Zohar %A Sipma, Henny %A Uribe, Tomás E. %B ARTS %D 1997 %E Bertran, Miquel %E Rus, Teodor %I Springer %K dblp %P 22-43 %T Deductive Verification of Real-Time Systems Using STeP. %U http://dblp.uni-trier.de/db/conf/arts/arts1997.html#BjornerMSU97 %V 1231 %@ 3-540-63010-4

@inproceedings{conf/arts/BjornerMSU97, added-at = {2022-04-14T00:00:00.000+0200}, author = {Bjørner, Nikolaj S. and Manna, Zohar and Sipma, Henny and Uribe, Tomás E.}, biburl = {https://www.bibsonomy.org/bibtex/25a9bd6f26536e0bfbdc3ce0c2f42263b/dblp}, booktitle = {ARTS}, crossref = {conf/arts/1997}, editor = {Bertran, Miquel and Rus, Teodor}, ee = {https://doi.org/10.1007/3-540-63010-4_3}, interhash = {beadd07db7401d96cf55575dc8163b19}, intrahash = {5a9bd6f26536e0bfbdc3ce0c2f42263b}, isbn = {3-540-63010-4}, keywords = {dblp}, pages = {22-43}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:06:19.000+0200}, title = {Deductive Verification of Real-Time Systems Using STeP.}, url = {http://dblp.uni-trier.de/db/conf/arts/arts1997.html#BjornerMSU97}, volume = 1231, year = 1997 }