Michele Mazzucchi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78

	2009
1		Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78

Coauthor Index

1	Gérard Basler	[1]
2	Daniel Kroening (Daniel Kröning)	[1]
3	Thomas Wahl	[1]