Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

article · 2006

Rachel Tzoref, Orna Grümberg

0 citations

Automatic refinement and vacuity detection for symbolic trajectory evaluation