%0 Conference Paper %1 conf/rtss/ClementsHLR93 %A Clements, Paul C. %A Heitmeyer, Constance L. %A Labaw, Bruce G. %A Rose, A. T. %B RTSS %D 1993 %I IEEE Computer Society %K dblp %P 12-22 %T MT: A Toolset for Specifying and Analyzing Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93 %@ 0-8186-4480-X

@inproceedings{conf/rtss/ClementsHLR93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Clements, Paul C. and Heitmeyer, Constance L. and Labaw, Bruce G. and Rose, A. T.}, biburl = {https://www.bibsonomy.org/bibtex/22c44fc949a777fb8bcd21c2cf9e1070b/dblp}, booktitle = {RTSS}, crossref = {conf/rtss/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/REAL.1993.393519}, interhash = {ebca35d135b0cb925a3d15d4ad63fd55}, intrahash = {2c44fc949a777fb8bcd21c2cf9e1070b}, isbn = {0-8186-4480-X}, keywords = {dblp}, pages = {12-22}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:03:51.000+0200}, title = {MT: A Toolset for Specifying and Analyzing Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93}, year = 1993 }