Verification of State/Event Systems by Quotienting

N. O. Bodentien; J. Vestergaard; J. Friis; K. Kristoffersen; Kim Guldstrand Larsen

Verification of State/Event Systems by Quotienting

N. O. Bodentien, J. Vestergaard, J. Friis, K. Kristoffersen, Kim Guldstrand Larsen

Institut for Datalogi

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Status	Udgivet - 1999

Navn	B R I C S Report Series
Nummer	RS-99-41
ISSN	0909-0878

Bibliografisk note

Presented at Nordic Workshop in Programming Theory, uppsala, Sweden, October 6-8, 1999
Presented at Nordic Workshop in Programming Theory, uppsala, Sweden, October 6-8, 1999

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@book{d9ac6650003211dab4d5000ea68e967b,

title = "Verification of State/Event Systems by Quotienting",

author = "Bodentien, {N. O.} and J. Vestergaard and J. Friis and K. Kristoffersen and Larsen, {Kim Guldstrand}",

note = "Presented at Nordic Workshop in Programming Theory, uppsala, Sweden, October 6-8, 1999 Presented at Nordic Workshop in Programming Theory, uppsala, Sweden, October 6-8, 1999",

year = "1999",

language = "English",

series = "B R I C S Report Series",

number = "RS-99-41",

}

TY - BOOK

T1 - Verification of State/Event Systems by Quotienting

AU - Bodentien, N. O.

AU - Vestergaard, J.

AU - Friis, J.

AU - Kristoffersen, K.

AU - Larsen, Kim Guldstrand

N1 - Presented at Nordic Workshop in Programming Theory, uppsala, Sweden, October 6-8, 1999 Presented at Nordic Workshop in Programming Theory, uppsala, Sweden, October 6-8, 1999

PY - 1999

Y1 - 1999

M3 - Book

T3 - B R I C S Report Series

BT - Verification of State/Event Systems by Quotienting

ER -