Murano, Aniello (2008) Enriched \mu-calculi Module Checking. [Pubblicazione in rivista scientifica]

Full text not available from this repository.
Item Type: Pubblicazione in rivista scientifica
Language: English
Title: Enriched \mu-calculi Module Checking
Creators:
CreatorsEmail
Murano, AnielloUNSPECIFIED
Autor/s: A. Ferrante, A. Murano, M. Parente
Date: 2008
Number of Pages: 21
Department: Scienze fisiche
Official URL: http://www.lmcs-online.org/ojs/viewarticle.php?id=...
Journal or Publication Title: LOGICAL METHODS IN COMPUTER SCIENCE
Event Dates: 2008
Date: 2008
Volume: 4
Number: 3:1
Page Range: pp. 1-21
Number of Pages: 21
Date Deposited: 21 Oct 2010 06:16
Last Modified: 30 Apr 2014 19:42
URI: http://www.fedoa.unina.it/id/eprint/7201

Actions (login required)

View Item View Item