Peron, Adriano (2008) Verification of well-formed Communicating Recursive State Machines. [Pubblicazione in rivista scientifica]

Full text not available from this repository.
Item Type: Pubblicazione in rivista scientifica
Language: English
Title: Verification of well-formed Communicating Recursive State Machines
Creators:
CreatorsEmail
Peron, AdrianoUNSPECIFIED
Autor/s: L. Bozzelli, S. La Torre, A. Peron
Date: 2008
Number of Pages: 24
Department: Scienze fisiche
Identification Number: 10.1016/j.tcs.2008.06.012
Journal or Publication Title: THEORETICAL COMPUTER SCIENCE
Date: 2008
Volume: 403
Number: 1-2
Page Range: pp. 382-406
Number of Pages: 24
Uncontrolled Keywords: Model checking, recursive state machines, Verification
Identification Number: 10.1016/j.tcs.2008.06.012
Date Deposited: 21 Oct 2010 06:16
Last Modified: 30 Apr 2014 19:42
URI: http://www.fedoa.unina.it/id/eprint/7221

Actions (login required)

View Item View Item