%0 Journal Article %1 journals/tc/BrockmeyerJHW00 %A Brockmeyer, Monica %A Jahanian, Farnam %A Heitmeyer, Constance L. %A Winner, Elly %D 2000 %J IEEE Trans. Computers %K dblp %N 11 %P 1184-1201 %T A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. %U http://dblp.uni-trier.de/db/journals/tc/tc49.html#BrockmeyerJHW00 %V 49

@article{journals/tc/BrockmeyerJHW00, added-at = {2015-12-22T00:00:00.000+0100}, author = {Brockmeyer, Monica and Jahanian, Farnam and Heitmeyer, Constance L. and Winner, Elly}, biburl = {https://www.bibsonomy.org/bibtex/2c7d29947a1224466916971a0e1b0bee0/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.895936}, interhash = {e20517d53cb30fc743c123157b6458b9}, intrahash = {c7d29947a1224466916971a0e1b0bee0}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 11, pages = {1184-1201}, timestamp = {2015-12-24T12:04:47.000+0100}, title = {A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc49.html#BrockmeyerJHW00}, volume = 49, year = 2000 }