Buffo, MathieuRefine your research by the most used items
Author / Editor
- Buchs, Didier (3)
- Di Marzo Serugendo, Giovanna (2)
- Biberstein, Olivier (1)
- Buffard, Christophe (1)
- Flumet, Jacques (1)
- Hulaas, Jarle (1)
- Racloz, Pascal (1)
- Randell, Brian (1)
- Romanovsky, Sascha (1)
- Stroud, Robert (1)
Document type
Full text accessibility
Full text version
Subject
Highlights
Show items per page
remove all| Title | Authors / Editors | Date | |
|---|---|---|---|
 |
Rapid prototyping of formally modelled distributed systems | Buchs, Didier; Buffo, Mathieu | 1999 |
|
|
COALA - A Formal Language for Coordinated Atomic Actions | Di Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie | 1998 |
|
|
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools | Di Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal | 1995 |
