%0 Journal Article %1 journals/fac/Cardell-Oliver00 %A Cardell-Oliver, Rachel %D 2000 %J Formal Asp. Comput. %K %N 5 %P 350-371 %T Conformance Tests for Real-Time Systems with Timed Automata Specifications. %U http://dblp.uni-trier.de/db/journals/fac/fac12.html#Cardell-Oliver00 %V 12

@article{journals/fac/Cardell-Oliver00, added-at = {2023-12-12T20:05:58.000+0100}, author = {Cardell-Oliver, Rachel}, biburl = {https://www.bibsonomy.org/bibtex/2661e3c97f90a2fb27e8ec5b2202b6260/admin}, ee = {http://dx.doi.org/10.1007/s001650070009}, interhash = {2a81ae1f30a68fdbfa553e02e0d460c2}, intrahash = {661e3c97f90a2fb27e8ec5b2202b6260}, journal = {Formal Asp. Comput.}, keywords = {}, number = 5, pages = {350-371}, timestamp = {2023-12-12T20:05:58.000+0100}, title = {Conformance Tests for Real-Time Systems with Timed Automata Specifications.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac12.html#Cardell-Oliver00}, volume = 12, year = 2000 }