Finding a Forest in a Tree - The matching problem for wide reactive systems

G. Bacci, Marino Miculan, R. Rizzi
2014-01-01
Cite DOI
Type
Conference paper
Publication
Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Related