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

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

Originalsprog	Engelsk

Udgivelsessted	Aalborg
Forlag	Aalborg Universitetsforlag
Status	Udgivet - 1997

Bibliografisk note

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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