Skip to content

Analysis of Timed Recursive State Machines.

Massimo Benerecetti, Stefano Minopoli, Adriano Peron

VenueCTIME
Year2010
ProceedingsTIME

Browse the full TIME paper archive.