Login / Signup

Verification by Abstraction and Bisimulation.

Han Zuidweg
Published in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases