%0 Conference Paper %1 conf/atva/AndresMN08 %A Andrés, César %A Merayo, Mercedes G. %A Núñez, Manuel %B ATVA %D 2008 %E Cha, Sung Deok %E Choi, Jin-Young %E Kim, Moonzoo %E Lee, Insup %E Viswanathan, Mahesh %I Springer %K dblp %P 418-427 %T Passive Testing of Timed Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2008.html#AndresMN08 %V 5311 %@ 978-3-540-88386-9

@inproceedings{conf/atva/AndresMN08, added-at = {2017-08-25T00:00:00.000+0200}, author = {Andrés, César and Merayo, Mercedes G. and Núñez, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2c8c9129a6823ccd4de92295969cb5ec4/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2008}, editor = {Cha, Sung Deok and Choi, Jin-Young and Kim, Moonzoo and Lee, Insup and Viswanathan, Mahesh}, ee = {https://doi.org/10.1007/978-3-540-88387-6_36}, interhash = {7169d8abb4f61b734ad7df816ba59844}, intrahash = {c8c9129a6823ccd4de92295969cb5ec4}, isbn = {978-3-540-88386-9}, keywords = {dblp}, pages = {418-427}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:46.000+0200}, title = {Passive Testing of Timed Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2008.html#AndresMN08}, volume = 5311, year = 2008 }