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

Minh D. Nguyen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEMinh D. Nguyen, Max Thalmaier, Markus Wedler, J. Bormann, Dominik Stoffel, Wolfgang Kunz: Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems 27(11): 2068-2082 (2008)
2005
2 Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz: Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. GI Jahrestagung (1) 2005: 303-307
1 Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz: Transition-by-transition FSM traversal for reachability analysis in bounded model checking. ICCAD 2005: 1068-1075

Coauthor Index

1J. Bormann [3]
2Wolfgang Kunz [1] [2] [3]
3Dominik Stoffel [1] [2] [3]
4Max Thalmaier [3]
5Markus Wedler [1] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)