Parallel Breadth-First Search LTL Model-Checking (2003)

Cached

Download Links

by Jiri Barnat , Lubos Brim , Jakub Chaloupka
Venue:IN 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE’03
Citations:26 - 7 self