%0 Conference Paper %1 conf/dagstuhl/PrenningerEH04 %A Prenninger, Wolfgang %A El-Ramly, Mohammad %A Horstmann, Marc %B Model-Based Testing of Reactive Systems %D 2004 %E Broy, Manfred %E Jonsson, Bengt %E Katoen, Joost-Pieter %E Leucker, Martin %E Pretschner, Alexander %I Springer %K dblp %P 439-461 %T Case Studies. %U http://dblp.uni-trier.de/db/conf/dagstuhl/test2004.html#PrenningerEH04 %V 3472 %@ 3-540-26278-4

@inproceedings{conf/dagstuhl/PrenningerEH04, added-at = {2017-05-19T00:00:00.000+0200}, author = {Prenninger, Wolfgang and El-Ramly, Mohammad and Horstmann, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2cf87d3e06bfc7f6a2c9685b3e22e44a8/dblp}, booktitle = {Model-Based Testing of Reactive Systems}, crossref = {conf/dagstuhl/2004test}, editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and Leucker, Martin and Pretschner, Alexander}, ee = {https://doi.org/10.1007/11498490_19}, interhash = {7a8d4b2acf926f5f745776451860f70d}, intrahash = {cf87d3e06bfc7f6a2c9685b3e22e44a8}, isbn = {3-540-26278-4}, keywords = {dblp}, pages = {439-461}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:25:39.000+0200}, title = {Case Studies.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/test2004.html#PrenningerEH04}, volume = 3472, year = 2004 }