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 × Denmark
1 × Italy
1 × Spain
Collaborated with:
L.M.Kristensen M.Westergaard S.Christensen
Talks about:
method (3) sweep (3) line (3) represent (1) generalis (1) reachabl (1) properti (1) safeti (1) obtain (1) memori (1)

Person: Thomas Mailund

DBLP DBLP: Mailund:Thomas

Contributed to:

TACAS 20042004
FME 20022002
TACAS 20012001

Wrote 3 papers:

TACAS-2004-MailundW #graph #reachability #using
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method (TM, MW), pp. 177–191.
FME-2002-KristensenM #safety
A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.
A Sweep-Line Method for State Space Exploration (SC, LMK, TM), pp. 450–464.

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.