Bjorner, Nikolaj.

Overview

Works:	1 works in 5 publications in 1 languages

Titles

Perspectives of system informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers / by: (1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei. (Electronic resources)

FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); de Boer, Frank. (Electronic resources)

Distributed computing and internet technology12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings / by: (1998 :); Bjorner, Nikolaj.; Parida, Laxmi.; Prasad, Sanjiva.; SpringerLink (Online service) (Electronic resources)

Automated deductionCADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (1998 :); Bjorner, Nikolaj.; Sofronie-Stokkermans, Viorica.; SpringerLink (Online service) (Electronic resources)

Logic for programming, artificial intelligence, and reasoning18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); Voronkov, Andrei. (Electronic resources)

Subjects