Bjorner, Dines.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logics of Specification Languages
by:
Bjorner, Dines.; Henson, Martin C.; SpringerLink (Online service)
(Language materials, printed)
Perspectives of system informatics = Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
by:
Bjorner, Dines.; Broy, Manfred.; Zamulin, Alexandre V.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (1999 :)
(Language materials, printed)
Perspectives of system informatics = 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers/
by:
Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (2001 :); Zamulin, Aleksandr Vasilevich.
(Language materials, printed)