Search results for: Michel Charpentier
Tropical Ecology > 2019 > 60 > 3 > 311-325
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 665-684
Lecture Notes in Computer Science > Distributed Computing and Networking > Sensor Networks 3 > 425-436
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Session 2.5 > 580-595
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formal Frameworks > 1-14
Science of Computer Programming > 2006 > 60 > 3 > 221-243
Acta Informatica > 2004 > 40 > 4 > 265-301
Formal Methods in System Design > 2002 > 20 > 1 > 7-21