A Framework for the Verification of Parameterized Infinite-state Systems.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: Fundam. Informaticae (2017)

Keyphrases

main contribution
database
information systems
expert systems
information retrieval
case study
data structure
management system
building blocks