English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Compositional specification of timed systems
> Access to Fulltext
Information
Usage statistics
Files
Compositional specification of timed systems
-
Sifakis, J.
et al
main
file(s):
stacs96SifYovine
version 1
stacs96SifYovine.pdf
[2.12 MB]
27 Jan 2018, 13:51
n/a
n/a