Composing Families of Timed Automata

Guillermina Cledou, José Proença, Luís Soares Barbosa
January 2017
PDF DOI
Type
Conference paper
Publication
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Related