Login / Signup

Characteristic mu-Calculus Formulas for Underspecified Transition Systems.

Harald FecherMartin Steffen
Published in: EXPRESS (2004)
Keyphrases