Context Dependent Minimization of State/Event Systems

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedAalborg
ForlagAalborg Universitetsforlag
StatusUdgivet - 1997

Bibliografisk note

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

Citer dette

Behrmann, G., Kristoffersen, K. J., & Larsen, K. G. (1997). Context Dependent Minimization of State/Event Systems. Aalborg: Aalborg Universitetsforlag.
Behrmann, G. ; Kristoffersen, K. J. ; Larsen, Kim Guldstrand. / Context Dependent Minimization of State/Event Systems. Aalborg : Aalborg Universitetsforlag, 1997.
@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",

}

Behrmann, G, Kristoffersen, KJ & Larsen, KG 1997, Context Dependent Minimization of State/Event Systems. Aalborg Universitetsforlag, Aalborg.

Context Dependent Minimization of State/Event Systems. / Behrmann, G.; Kristoffersen, K. J.; Larsen, Kim Guldstrand.

Aalborg : Aalborg Universitetsforlag, 1997.

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 -

Behrmann G, Kristoffersen KJ, Larsen KG. Context Dependent Minimization of State/Event Systems. Aalborg: Aalborg Universitetsforlag, 1997.