Murali Talupur

	2008
2		Murali Talupur, Mark R. Tuttle: Going with the Flow: Parameterized Verification Using Message Flows. FMCAD 2008: 1-8
1		David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456

Coauthor Index

1	David James	[1]
2	Tim Leonard	[1]
3	John W. O'Leary	[1]
4	Mark R. Tuttle	[1] [2]