Thumbnail
Access Restriction
Subscribed

Author Larsen, Kim G. ♦ Markey, Nicolas ♦ Bouyer, Patricia ♦ Fahrenberg, Uli
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.
Description Affiliation: LSV-CNRS & ENS Cachan, France (Markey, Nicolas) || LSV--CNRS & ENS Cachan, France (Bouyer, Patricia) || Aalborg Universitet, Aalborg, Denmark (Fahrenberg, Uli; Larsen, Kim G.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 54
Issue Number 9
Page Count 10
Starting Page 78
Ending Page 87


Open content in new tab

   Open content in new tab
Source: ACM Digital Library