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

G Bacci, Miculan Marino, R Rizzi
2014-01-01
Cite DOI
Type
Journal article