%0 Book Section %1 Pretschner05 %A Pretschner, Alexander %A Philipps, Jan %B Model-Based Testing of Reactive Systems %D 2005 %E Broy, Manfred %E Jonsson, Bengt %E Katoen, Joost-Pieter %E Leucker, Martin %E Pretschner, Alexander %I Springer Berlin Heidelberg %K modelbased testing %T Methodological Issues in Model-Based Testing %V 3472

@incollection{Pretschner05, added-at = {2013-02-07T13:03:44.000+0100}, author = {Pretschner, Alexander and Philipps, Jan}, biburl = {https://www.bibsonomy.org/bibtex/27e50c33bf21f0fb3e441cf0a07f3b2db/andiv}, booktitle = {Model-Based Testing of Reactive Systems}, editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and Leucker, Martin and Pretschner, Alexander}, interhash = {f5a4a44bc9e2300c83b751249647e68d}, intrahash = {7e50c33bf21f0fb3e441cf0a07f3b2db}, keywords = {modelbased testing}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2013-08-02T15:24:09.000+0200}, title = {Methodological Issues in Model-Based Testing}, volume = 3472, year = 2005 }