Reserved Area
Publications
Maria Guillermina Cledou
Software Engineering
Assistant Researcher
(email)
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.
Export
RTF
Tagged
XML
BibTex
Google Scholar
Abstract:
n/a
Notes:
(In print)
Citation Key:
Cledou17fsen
Preview
Attachment
Size
ifta.pdf
437.2 KB