Rocco De Nicola (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

35 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260

27 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems 25(7): 761-778 (1993)

23 Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47

Selection of 3 from 135 records - Rocco De Nicola has 81 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

35		Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260
27		Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems 25(7): 761-778 (1993)
23		Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47