Karen Laster

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Karen Laster, Orna Grumberg
Modular Model Checking of Software. TACAS (1998)
Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
First-Order-CTL Model Checking. FSTTCS (1998)