Models, algorithms, logics and tools: essays dedicated to kim guldstrand larsen on the occasion of his 60th birthday
Éditeur :
Springer International Publishing AG
ISBN :
9783319631202
Date de publication :
25 juil. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.