Sign in

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

Francesco AlbertiSilvio GhilardiNatasha Sharygina
Published in: Fundam. Informaticae (2017)
Keyphrases
  • main contribution
  • database
  • information systems
  • expert systems
  • information retrieval
  • case study
  • data structure
  • management system
  • building blocks