Type Checking Circus Specifications

Manuela Xavier, Ana Cavalcanti, Augusto Sampaio

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

Original language	Undefined/Unknown
Pages (from-to)	75-93
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	195
Issue number	C
Publication status	Published - 18 Jan 2008

Access to Document

@article{faba1fe36889463c832f0d62a03513b8,

title = "Type Checking Circus Specifications",

author = "Manuela Xavier and Ana Cavalcanti and Augusto Sampaio",

year = "2008",

month = jan,

day = "18",

language = "Undefined/Unknown",

volume = "195",

pages = "75--93",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "C",

}

TY - JOUR

T1 - Type Checking Circus Specifications

AU - Xavier, Manuela

AU - Cavalcanti, Ana

AU - Sampaio, Augusto

PY - 2008/1/18

Y1 - 2008/1/18

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

M3 - Article

VL - 195

SP - 75

EP - 93

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - C

ER -