1998 |
3 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Giorgio Mongardi,
Dario Romano:
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods in System Design 12(2): 139-161 (1998) |
1995 |
2 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Gioia Ristori:
Verifying hardware components within JACK.
CHARME 1995: 246-260 |
1994 |
1 | | Amar Bouali,
Stefania Gnesi,
Salvatore Larosa:
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bulletin of the EATCS 54: 207-223 (1994) |