Robert M. Manning

	2008
1		Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman: Verifying really complex systems: on earth and beyond. DAC 2008: 552-553

Coauthor Index

1	Anjan Bose	[1]
2	David E. Corman	[1]
3	Andreas Kuehlmann	[1]
4	Anna Newman	[1]
5	Rob A. Rutenbar	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page