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

Tonglaga Bao

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

2008
3EETonglaga Bao, Michael Jones: Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59
2005
2EETonglaga Bao, Michael Jones: Time-Efficient Model Checking with Magnetic Disk. TACAS 2005: 526-540
2003
1EEMichael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers. Electr. Notes Theor. Comput. Sci. 89(1): (2003)

Coauthor Index

1Michael Jones [1] [2] [3]
2Rahul Kumar [1]
3Peter Lamborn [1]
4Eric Mercer (Eric G. Mercer) [1]

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