Login / Signup

An Inductive Approach for Modal Transition System Refinement.

Dalal AlrajehJeff KramerAlessandra RussoSebastián Uchitel
Published in: ICLP (Technical Communications) (2011)
Keyphrases