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

Full text not available from this repository. [error in script] [error in script]
Item Type: Pubblicazione in rivista scientifica
Lingua: English
Title: Verification of well-formed Communicating Recursive State Machines
Autore/i: 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


Downloads per month over past year

Actions (login required)

View Item View Item