Fairness in automata theoretic model checking

Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Lehti	Estonian Academy of Sciences. Proceedings. Physics. Mathematics
Vuosikerta	54
Numero	4
ISSN	1406-0086
Tila	Julkaistu - 2002
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

@article{6157136d667e4ab58baab84dc9c617d1,

title = "Fairness in automata theoretic model checking",

keywords = "113 Computer and information sciences",

author = "Tuomo Malinen and Matti Luukkainen",

year = "2002",

language = "English",

volume = "54",

journal = "Estonian Academy of Sciences. Proceedings. Physics. Mathematics",

issn = "1406-0086",

publisher = "Estonian Academy Publishers ",

number = "4",

}