Composing Families of Timed Automata

Citation:
Cledou G, Proença J, Barbosa L.  2017.  Composing Families of Timed Automata. 7th IPM International Conference on Fundamentals of Software Engineering.

Abstract:

n/a

Notes:

(In print)

Citation Key:

Cledou17fsen
PreviewAttachmentSize
ifta.pdf437.2 KB