Peron, Adriano (2006) Verification of Well-Formed Communicating Recursive State Machines. In: 7th International Conference, VMCAI 2006,, 8-10 gennaio 2006, Charleston, SC, USA,.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Title: Verification of Well-Formed Communicating Recursive State Machines
Creators:
CreatorsEmail
Peron, AdrianoUNSPECIFIED
Autor/s: BOZZELLI A; LA TORRE S; A. PERON
Date: 2006
Number of Pages: 0
Department: Scienze fisiche
Event Title: 7th International Conference, VMCAI 2006,
Event Location: Charleston, SC, USA,
Event Dates: 8-10 gennaio 2006
Title of Book: International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)
Date: 2006
Volume: 3855
Page Range: pp. 412-426
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5651

Abstract

Lecture Notes in Computer Science

Actions (login required)

View Item View Item