Tonglaga Bao

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

Coauthor Index

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page