Skip to content
cs-conference-ranking.org

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.

Frdric Lang

VenueBIFM
Year2005
ProceedingsIFM
DBLP recordconf/ifm/Lang05 ↗

Browse the full IFM paper archive.