Books and Proceedings: 1979-2007

Dines Bjørner

Fredsvej 11, DK-2840 Holte, Danmark

Started on Tuesday, June 3, 2008, Revised May 28, 2009
E-Mail: bjorner@gmail.com, URL: www.imm.dtu.dk/~db

Abstract:

Cover pages are given of books that I have been involved in, one way or the other.


Contents

Festschrift

Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen
on the Occasion of Their 70th Birthdays

Books

Co-authored Book

Edited & Co-edited Books

Edited & Co-authored Proceedings

Edited Proceedings and Collections

And a Festschrift !

All 15 + 1 more Books and Proceedings !

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

About this document ...

Books and Proceedings: 1979-2007

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 books

The translation was initiated by Dines Bjorner on 2009-05-28

Dines Bjorner 2009-05-28