Login / Signup

Combining Model Checking and Deduction for I/O-Automata.

Olaf MüllerTobias Nipkow
Published in: TACAS (1995)
Keyphrases