Sciweavers

Share
ATVA
2006
Springer

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

10 years 1 months ago
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
Harald Fecher, Michael Huth
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATVA
Authors Harald Fecher, Michael Huth
Comments (0)
books