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

Department of Computer Science

Research output: Book/Report › Book › Research

Original language	English

Publication status	Published - 1999

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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 -