dblp.uni-trier.dewww.uni-trier.de

Salvatore Larosa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1Cinzia Bernardeschi [3]
2Amar Bouali [1]
3Alessandro Fantechi [2] [3]
4Stefania Gnesi [1] [2] [3]
5Giorgio Mongardi [3]
6Rocco De Nicola [2]
7Gioia Ristori [2]
8Dario Romano [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)