Next:
References
Up:
Dines Bjørner's Home Page
Previous:
Reverse Chronological References
Contents
Subsections
Notes
Publications
Notes
The entries below record
13
[co-]authored books,
11
[co-]edited books,
2
compendia,
122
journal and conference papers and book chapters
7
lecture notes,
8
experimental research reports, and
8
administrative reports.