Login / Signup

Model Checking Languages of Data Words.

Benedikt BolligAiswarya CyriacPaul GastinK. Narayan Kumar
Published in: FoSSaCS (2012)
Keyphrases
  • model checking
  • temporal logic
  • finite state machines