%0 Conference Paper %1 conf/fase/ErmelGLT11 %A Ermel, Claudia %A Gall, Jürgen %A Lambers, Leen %A Taentzer, Gabriele %B FASE %D 2011 %E Giannakopoulou, Dimitra %E Orejas, Fernando %I Springer %K %P 156-170 %T Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. %U http://dblp.uni-trier.de/db/conf/fase/fase2011.html#ErmelGLT11 %V 6603 %@ 978-3-642-19810-6

@inproceedings{conf/fase/ErmelGLT11, added-at = {2023-12-13T00:50:34.000+0100}, author = {Ermel, Claudia and Gall, Jürgen and Lambers, Leen and Taentzer, Gabriele}, biburl = {https://www.bibsonomy.org/bibtex/28d9e9d4e490ee488490cac9fe8b9057c/admin}, booktitle = {FASE}, crossref = {conf/fase/2011}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, ee = {https://doi.org/10.1007/978-3-642-19811-3_12}, interhash = {6930499b06fc92369b28e1bd861345e6}, intrahash = {8d9e9d4e490ee488490cac9fe8b9057c}, isbn = {978-3-642-19810-6}, keywords = {}, pages = {156-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:50:34.000+0100}, title = {Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2011.html#ErmelGLT11}, volume = 6603, year = 2011 }