Login / Signup

Complexity of Decision Problems for Mixed and Modal Specifications.

Adam AntonikMichael HuthKim Guldstrand LarsenUlrik NymanAndrzej Wasowski
Published in: FoSSaCS (2008)
Keyphrases