Process Operations in extended dynamic logic

Authors
Publication date 1998
Book title LICS
Publisher IEEE Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back