Dines Bjørner (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

51		Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Springer 2001
48		Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Springer 2000
40		Dines Bjørner, Manfred Broy, Igor V. Pottosin: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Springer 1996
36		Dines Bjørner, Manfred Broy, Igor V. Pottosin: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Springer 1993

Selection of 4 from 73 records - Dines Bjørner has 41 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page