%0 Journal Article %1 journals/jucs/OlderogD03 %A Olderog, Ernst-Rüdiger %A Dierks, Henning %D 2003 %J J. Univers. Comput. Sci. %K %N 2 %P 88-105 %T Moby/RT: A Tool for Specification and Verification of Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#OlderogD03 %V 9

@article{journals/jucs/OlderogD03, added-at = {2023-12-13T06:26:26.000+0100}, author = {Olderog, Ernst-Rüdiger and Dierks, Henning}, biburl = {https://www.bibsonomy.org/bibtex/2a946ca34eb661b41a3aba6cadf92546b/admin}, ee = {https://doi.org/10.3217/jucs-009-02-0088}, interhash = {adaba46731c80d3287d0c19fc5650346}, intrahash = {a946ca34eb661b41a3aba6cadf92546b}, journal = {J. Univers. Comput. Sci.}, keywords = {}, number = 2, pages = {88-105}, timestamp = {2023-12-13T06:26:26.000+0100}, title = {Moby/RT: A Tool for Specification and Verification of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#OlderogD03}, volume = 9, year = 2003 }