Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction

Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory ◽

10.1007/978-3-642-32940-1_8 ◽

2012 ◽

pp. 84-99 ◽

Cited By ~ 3

Author(s):

Guy Avni ◽

Orna Kupferman

Download Full-text