On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.

Javier Esparza, Astrid Kiehn

Browse the full CAV paper archive.