Bozzelli, Laura and Murano, Aniello and Peron, Adriano (2010) Pushdown Module Checking. [Pubblicazione in rivista scientifica]

Full text not available from this repository.
Item Type: Pubblicazione in rivista scientifica
Language: English
Title: Pushdown Module Checking
Bozzelli, LauraUNSPECIFIED
Murano, AnielloUNSPECIFIED
Autor/s: L. Bozzelli, A. Murano, A. Peron
Date: 2010
Number of Pages: 31
Department: Scienze fisiche
Journal or Publication Title: FORMAL METHODS IN SYSTEM DESIGN
Event Dates: 2008
Date: 2010
Volume: 36
Number: 1
Page Range: pp. 65-95
Number of Pages: 31
Date Deposited: 21 Oct 2010 07:39
Last Modified: 30 Apr 2014 19:43

Actions (login required)

View Item View Item