Mogens Nielsen

6 published titles

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

(Contributor)

1 edition

Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings

(Contributor)

1 edition

Application and theory of petri nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings

(Contributor)

1 edition

Mathematical foundations of computer science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28-September 1, 2000 proceedings

(Contributor)

1 edition

CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings

(Contributor)

1 edition

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002,

(Contributor)

1 edition