Context Dependent Minimization of State/Event Systems

G. Behrmann; K. J. Kristoffersen; Kim Guldstrand Larsen

Context Dependent Minimization of State/Event Systems

G. Behrmann, K. J. Kristoffersen, Kim Guldstrand Larsen

Research output: Book/Report › Book › Research

Original language	English

Place of Publication	Aalborg
Publisher	Aalborg Universitetsforlag
Publication status	Published - 1997

AUB Link

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

Cite this

@book{738aa890003311dab4d5000ea68e967b,

title = "Context Dependent Minimization of State/Event Systems",

author = "G. Behrmann and Kristoffersen, {K. J.} and Larsen, {Kim Guldstrand}",

note = "Paper presented at {"}Nordic Workshop of Programming Correctness{"}, 1997 Paper presented at {"}Nordic Workshop of Programming Correctness{"}, 1997",

year = "1997",

language = "English",

publisher = "Aalborg Universitetsforlag",

}

TY - BOOK

T1 - Context Dependent Minimization of State/Event Systems

AU - Behrmann, G.

AU - Kristoffersen, K. J.

AU - Larsen, Kim Guldstrand

N1 - Paper presented at "Nordic Workshop of Programming Correctness", 1997 Paper presented at "Nordic Workshop of Programming Correctness", 1997

PY - 1997

Y1 - 1997

M3 - Book

BT - Context Dependent Minimization of State/Event Systems

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -