Nicolas Rachinsky

	2006
1		Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky: Bounded Model Checking for All Regular Properties. Electr. Notes Theor. Comput. Sci. 144(1): 3-18 (2006)

Coauthor Index

1	Markus Jehle	[1]
2	Jan Johannsen	[1]
3	Martin Lange	[1]