Login / Signup
Abstraction refinement and antichains for trace inclusion of infinite state systems.
Lukás Holík
Radu Iosif
Adam Rogalewicz
Tomás Vojnar
Published in:
Formal Methods Syst. Des. (2020)
Keyphrases
</>
management system
intelligent systems
building blocks
learning systems
expert systems
distributed systems
data sets
databases
database systems
digital libraries
computer systems
retrieval systems
computing systems