R. Rizzi

Latest

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