Sciweavers

Share
IJCAI
2007

Automatic Verification of Knowledge and Time with NuSMV

8 years 11 months ago
Automatic Verification of Knowledge and Time with NuSMV
Alessio Lomuscio, Charles Pecheur, Franco Raimondi
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where IJCAI
Authors Alessio Lomuscio, Charles Pecheur, Franco Raimondi
Comments (0)
books