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
2 × The Netherlands
Collaborated with:
T.Mailund S.Christensen M.Westergaard P.C.Nørgaard J.B.Jørgensen
Talks about:
method (2) sweep (2) line (2) interoper (1) generalis (1) prototyp (1) protocol (1) properti (1) network (1) safeti (1)

Person: Lars Michael Kristensen

DBLP DBLP: Kristensen:Lars_Michael

Contributed to:

IFM 20052005
FME 20022002
TACAS 20012001
TACAS 19971997

Wrote 4 papers:

IFM-2005-KristensenWN #ad hoc #mobile #modelling #network #protocol #prototype
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks (LMK, MW, PCN), pp. 266–286.
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.
TACAS-1997-ChristensenJK #design #named #petri net
Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.

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.