Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Jan Friso Groote; Misa Keinänen

Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Jan Friso Groote
, Misa Keinänen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

8 Viittaukset (Web of Science)

Alkuperäiskieli	Englanti
Otsikko	10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), Barcelona, Espanja, huhtikuu 2004
Toimittajat	K. Jensen, A. Podelski
Kustantaja	Springer
Sivut	436-450
Tila	Julkaistu - 2004
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Tutkimusalat

algorithm
Boolean equation systems
conjunctive
disjunctive

Siteeraa tätä

@inproceedings{c4eff23134234b659f4b9fbfd1fa9550,

title = "Solving disjunctive/conjunctive boolean equation systems with alternating fixed points",

keywords = "algorithm, Boolean equation systems, conjunctive, disjunctive, algorithm, Boolean equation systems, conjunctive, disjunctive, algorithm, Boolean equation systems, conjunctive, disjunctive",

author = "Groote, \{Jan Friso\} and Misa Kein{\"a}nen",

year = "2004",

language = "English",

pages = "436--450",

editor = "K. Jensen and A. Podelski",

booktitle = "10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), Barcelona, Espanja, huhtikuu 2004",

publisher = "Springer",

address = "Germany",

}

Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. / Groote, Jan Friso; Keinänen, Misa.
10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), Barcelona, Espanja, huhtikuu 2004. toim. / K. Jensen; A. Podelski. Springer, 2004. s. 436-450.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

AU - Groote, Jan Friso

AU - Keinänen, Misa

PY - 2004

Y1 - 2004

KW - algorithm

KW - Boolean equation systems

KW - conjunctive

KW - disjunctive

KW - algorithm

KW - Boolean equation systems

KW - conjunctive

KW - disjunctive

KW - algorithm

KW - Boolean equation systems

KW - conjunctive

KW - disjunctive

M3 - Conference article in proceedings

SP - 436

EP - 450

BT - 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), Barcelona, Espanja, huhtikuu 2004

A2 - Jensen, K.

A2 - Podelski, A.

PB - Springer

ER -