Grygoriy Bunin

	2006
1		Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel: Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) 2006: 262-263

Coauthor Index

1	Christian Haubelt	[1]
2	Ulrich Heinkel	[1]
3	Jan Langer	[1]
4	Axel Schneider	[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