( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Regular Model Checking made Simple and Efficient

, , , и . (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Birger Nilsson

Gunnar Nilsson

Robert Nilsson

Johan Nilsson

 

Другие публикации лиц с тем же именем

Regular Model Checking made Simple and Efficient, , , и . (2002)A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays., , , , и . PerCom, стр. 149-158. IEEE Computer Society, (2005)Interaction design in a complex context: medical multi-disciplinary team meetings., , , и . NordiCHI, стр. 341-350. ACM, (2012)Eventcasting with a Wearable Computer., , , и . ICDCS Workshops, стр. 408-413. IEEE Computer Society, (2004)Experiences of using wearable computers for ambient telepresence and remote interaction., , , и . ETP@MM, стр. 2-11. ACM, (2004)Computational Aspects of Monomial Dynamical Systems.. Comput. J., 53 (4): 365-369 (2010)Handling Global Conditions in Parameterized System Verification., , , и . CAV, том 1633 из Lecture Notes in Computer Science, стр. 134-145. Springer, (1999)Transitive Closures of Regular Relations for Verifying Infinite-State Systems., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 220-234. Springer, (2000)Mediated and Mobile Communication for Experts.. KTH Royal Institute of Technology, Sweden, (2014)Methods for Interrupting a Wearable Computer User., , , , и . ISWC, стр. 150-157. IEEE Computer Society, (2004)