Modal logic and the approximation induction principle

M. Gazda, W.J. Fokkink

Research output: Contribution to JournalArticleAcademicpeer-review

164 Downloads (Pure)
Original languageEnglish
Pages (from-to)41-50
JournalElectronic Proceedings in Theoretical Computer Science
Volume8
DOIs
Publication statusPublished - 2009

Bibliographical note

Proceedings title: Proc. 16th Workshop on Expressiveness in Concurrency - EXPRESS'09

Cite this