dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tilo Mücke (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Extended state identification and verification using a model checker. Information & Software Technology 48(10): 981-992 (2006)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. A-MOST 2005
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Selection of 3 from 8 records - Tilo Mücke has 5 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page