Automated Formalisation for Verification of Diagrammatic Models

Research output: Contribution to journal › Article › peer-review

Original language	Undefined/Unknown
Pages (from-to)	211-226
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	263
Publication status	Published - Jun 2010

Access to Document

@article{92eb293f3b77470291ff1246f022133e,

title = "Automated Formalisation for Verification of Diagrammatic Models",

author = "Williams, {James R.} and Polack, {Fiona A. C.}",

year = "2010",

month = jun,

language = "Undefined/Unknown",

volume = "263",

pages = "211--226",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

}

TY - JOUR

T1 - Automated Formalisation for Verification of Diagrammatic Models

AU - Williams, James R.

AU - Polack, Fiona A. C.

PY - 2010/6

Y1 - 2010/6

UR - http://www.scopus.com/inward/record.url?scp=79959960261&partnerID=8YFLogxK

M3 - Article

VL - 263

SP - 211

EP - 226

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -