Login / Signup

Model Checking for Action Abstraction.

Harald FecherMichael Huth
Published in: VMCAI (2008)
Keyphrases