Home
Publications
Selected Projects
Calendar
Links
Conferences and Workshops
WATA'10
LICS'09
QFM'09
QUANTLOG'09
FSTTCS'09
QAPL'09
NWPT'08
-
[slicing]
,
[wts]
The Comp. Sci. Event List
AV08
ATVA'08
FORMATS'08
AISPC'08
(pics)
LASER 2007
(pics)
"Copenhagen" Meeting on MTS - ITU 2007
Run-time Verification - Dagstuhl 2007
Quantitative Models : Expressiveness and Analysis - Dagstuhl 2010
MT-LAB
Resources
The Collection of Computer Science Bibliographies
Digital Bibliography & Library Project
The ACM Digital Library
Springer
Google Scholar
Citeseer
AAU CS Electronic Document Library
Rejse afregning
Google docs