1
Distributed Computing and Internet Technology [E-Book] : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings /
Other Personal Name(s): “...Bjørner, Nikolaj....”

Full text 
Favorites
Saved in:
2
FM 2015: Formal Methods [E-Book] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Other Personal Name(s): “...Bjørner, Nikolaj....”

Full text 
Favorites
Saved in:
3
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book]: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Other Personal Name(s): “...Bjørner, Nikolaj....”

Full text 
Favorites
Saved in:
4
Automated Deduction – CADE-23 [E-Book] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /
Other Personal Name(s): “...Bjørner, Nikolaj....”

Full text  Full text 
Favorites
Saved in:

Narrow Search Results