%0 Conference Paper %1 conf/iri/TanSL04 %A Tan, Li %A Sokolsky, Oleg %A Lee, Insup %B IRI %D 2004 %E Zhang, Du %E Grégoire, Éric %E DeGroot, Doug %I IEEE Systems, Man, and Cybernetics Society %K dblp %P 493-498 %T Specification-based Testing with Linear Temporal Logic. %U http://dblp.uni-trier.de/db/conf/iri/iri2004.html#TanSL04 %@ 0-7803-8819-4

@inproceedings{conf/iri/TanSL04, added-at = {2012-09-22T00:00:00.000+0200}, author = {Tan, Li and Sokolsky, Oleg and Lee, Insup}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cf4152c4d70346a428d19f331bfefb50/dblp}, booktitle = {IRI}, crossref = {conf/iri/2004}, editor = {Zhang, Du and Grégoire, Éric and DeGroot, Doug}, ee = {http://dx.doi.org/10.1109/IRI.2004.1431509}, interhash = {e1be6e6fe3405b38b8898be2d2b4345c}, intrahash = {cf4152c4d70346a428d19f331bfefb50}, isbn = {0-7803-8819-4}, keywords = {dblp}, pages = {493-498}, publisher = {IEEE Systems, Man, and Cybernetics Society}, timestamp = {2016-02-02T12:52:02.000+0100}, title = {Specification-based Testing with Linear Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/iri/iri2004.html#TanSL04}, year = 2004 }