Showing 1 - 3 results of 3 for search 'Buccafurri, F', query time: 0.02s
Refine Results
-
1
Multiagent Compromises‚ Joint Fixpoints‚ and Stable Models by Buccafurri, F, Gottlob, G
Published 2002Conference item -
2
Enhancing Model Checking in Verification by AI Techniques by Buccafurri, F, Eiter, T, Gottlob, G, Leone, N
Published 1999Journal article -
3
On ACTL Formulas Having Linear Counterexamples by Buccafurri, F, Eiter, T, Gottlob, G, Leone, N
Published 2001Journal article