Login / Signup

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

Javier EsparzaAstrid Kiehn
Published in: CAV (1995)
Keyphrases