20 Years of Modal and Mixed Specifications.

Adam Antonik Michael Huth Kim G. Larsen Ulrik Nyman Andrzej Wasowski

Published in: Bull. EATCS (2008)

Keyphrases

years ago
high level
transition systems
multiscale
modal logic
neural network
machine learning
artificial intelligence
object oriented
distributed systems