Search results for: Antonio Cau
Lecture Notes in Computer Science > Defence Applications of Multi-Agent Systems > Part III: Systems and Security > 92-103
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 123-132
2015 Science and Information Conference (SAI) > 1201 - 1205
Formal Methods in System Design > 2013 > 43 > 3 > 450-492
Journal of Computer and System Sciences > 2011 > 77 > 4 > 597-620
Journal of Systems Architecture > 2005 > 51 > 5 > 331-345
Formal Aspects of Computing > 2000 > 12 > 1 > 52-70
Annals of Software Engineering > 1999 > 7 > 1-4 > 235-256