Computing Abstractions of Infinite State Systems Compositionally and Automatically.

Saddek Bensalem Yassine Lakhnech Sam Owre

Published in: CAV (1998)

Keyphrases

distributed systems
complex systems
computer systems
building blocks
database
data sets
case study
information technology
mobile robot
management system
software engineering
learning systems
retrieval systems