Modal logic and the approximation induction principle

Research output: Contribution to Journal › Article › Academic › peer-review

188 Downloads (Pure)

Original language	English
Pages (from-to)	41-50
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	8
DOIs	https://doi.org/10.4204/eptcs.8.4
Publication status	Published - 2009

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

Access to Document

@article{540cd2c5ebcc4ccb9bf7a62ecba0b0fd,

title = "Modal logic and the approximation induction principle",

author = "M. Gazda and W.J. Fokkink",

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

year = "2009",

doi = "10.4204/eptcs.8.4",

language = "English",

volume = "8",

pages = "41--50",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Modal logic and the approximation induction principle

AU - Gazda, M.

AU - Fokkink, W.J.

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

PY - 2009

Y1 - 2009

U2 - 10.4204/eptcs.8.4

DO - 10.4204/eptcs.8.4

M3 - Article

SN - 2075-2180

VL - 8

SP - 41

EP - 50

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -