Stefano Rossignoli

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 Stefano Rossignoli, Fausto Spoto: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI 2006: 95-110

	2006
1		Stefano Rossignoli, Fausto Spoto: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI 2006: 95-110

Coauthor Index