BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × USA
Collaborated with:
J.F.Groote K.Heljanko T.A.Junttila M.Lange T.Latvala
Talks about:
altern (2) disjunct (1) conjunct (1) automata (1) boolean (1) system (1) point (1) model (1) equat (1) check (1)

Person: Misa Keinänen

DBLP DBLP: Kein=auml=nen:Misa

Contributed to:

CAV 20062006
TACAS 20042004

Wrote 2 papers:

CAV-2006-HeljankoJKLL #automaton #bound #model checking
Bounded Model Checking for Weak Alternating Büchi Automata (KH, TAJ, MK, ML, TL), pp. 95–108.
TACAS-2004-GrooteK #equation #fixpoint
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.