Structural operational semantics for a portable subset of behavioral VHDL-93

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

Original language	English
Pages (from-to)	69-88
Number of pages	20
Journal	Formal Methods in System Design
Volume	18
Issue number	1
DOIs	https://doi.org/10.1023/A:1008786720393
State	Published - Jan 2001
Externally published	Yes

ASJC Scopus Subject Areas

@article{b63950d2d3554e249db1e64c3900420a,

title = "Structural operational semantics for a portable subset of behavioral VHDL-93",

author = "Krishnaprasad Thirunarayan and Ewing, {Robert L.}",

year = "2001",

month = jan,

doi = "10.1023/A:1008786720393",

language = "English",

volume = "18",

pages = "69--88",

journal = "Formal Methods in System Design",

issn = "0925-9856",

number = "1",

}

TY - JOUR

T1 - Structural operational semantics for a portable subset of behavioral VHDL-93

AU - Thirunarayan, Krishnaprasad

AU - Ewing, Robert L.

PY - 2001/1

Y1 - 2001/1

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

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

U2 - 10.1023/A:1008786720393

DO - 10.1023/A:1008786720393

M3 - Article

AN - SCOPUS:0035137537

SN - 0925-9856

VL - 18

SP - 69

EP - 88

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -