A calculus for timed automata / Pedro R. D'Argenio and Ed Brinksma
mainEntity
A calculus for timed automata / Pedro R. D'Argenio and Ed Brinksma
about
author
contributor
inLanguage
isPartOf
mainEntityOfPage
name
A calculus for timed automata
numberOfPages
publication
sameAs
label
A calculus for timed automata / Pedro R. D'Argenio and Ed Brinksma