• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Refining Reactive Systems in HOL Using Action Systems

Thomas Långbacka, Joakim von Wright, Refining Reactive Systems in HOL Using Action Systems. In: TPHOLs'97 - Theorem Proving in Higher Order Logics: 10th International Conference, Lecture Notes in Computer Science 1275, 183–197, Springer-Verlag, 1997.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pLaWr97,
  title = {Refining Reactive Systems in HOL Using Action Systems},
  booktitle = {TPHOLs'97 - Theorem Proving in Higher Order Logics: 10th International Conference},
  author = {Långbacka, Thomas and Wright, Joakim von},
  volume = {1275},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {183–197},
  year = {1997},
}

Publication Forum rating of this publication: level 1

Edit publication