%0 Book Section %1 katoen_05_labelled %A Katoen, Joost P. %D 2005 %J : Model-Based Testing of Reactive Systems %K 2005 lts appendix %P 615--616 %R 10.1007/11498490_29 %T Labelled Transition Systems %U http://dx.doi.org/10.1007/11498490_29

@inbook{katoen_05_labelled, added-at = {2009-02-11T21:03:02.000+0100}, author = {Katoen, Joost P.}, biburl = {https://www.bibsonomy.org/bibtex/2e8d14987a958cfbd28959aae88f2f102/leonardo}, citeulike-article-id = {1175796}, doi = {10.1007/11498490_29}, interhash = {0f35584c0a0ad111e3328d3e6f57fc94}, intrahash = {e8d14987a958cfbd28959aae88f2f102}, journal = {: Model-Based Testing of Reactive Systems}, keywords = {2005 lts appendix}, pages = {615--616}, posted-at = {2007-03-19 12:13:52}, priority = {2}, timestamp = {2009-02-11T21:03:02.000+0100}, title = {Labelled Transition Systems}, url = {http://dx.doi.org/10.1007/11498490_29}, year = 2005 }