interpolation and bisimulation in temporal logic

Authors
Publication date 1998
Book title Proc. of WoLLIC'98 Workshop of logic, language, information and computation
ISBN
  • -
Series --, -
Pages (from-to) 15-21
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note - Gebeurtenis: --
Permalink to this page
Back