( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using interval logics for temporal analysis of security protocols.

, и . FMSE, стр. 24-31. ACM, (2003)

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.

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

 

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

Duration Specifications for Shared Processors., , , и . FTRTFT, том 571 из Lecture Notes in Computer Science, стр. 21-32. Springer, (1992)Eine sequelartige Sprachschnittstelle für das NF2-Modell., , и . Sprachen für Datenbanken, том 72 из Informatik-Fachberichte, стр. 134-147. Springer, (1983)An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic., и . J. Log. Algebraic Methods Program., 84 (1): 2-18 (2015)EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks., , и . Specification, Algebra, and Software, том 8373 из Lecture Notes in Computer Science, стр. 520-540. Springer, (2014)Semantics and Verification of a Language for Modelling Hardware Architectures., , и . Formal Methods and Hybrid Real-Time Systems, том 4700 из Lecture Notes in Computer Science, стр. 300-319. Springer, (2007)On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic., и . TIME, стр. 115-122. IEEE, (2011)An Adequate First Order Interval Logic., и . COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 584-608. Springer, (1997)An Extended Duration Calculus for Hybrid Real-Time Systems., , и . Hybrid Systems, том 736 из Lecture Notes in Computer Science, стр. 36-59. Springer, (1992)Using interval logics for temporal analysis of security protocols., и . FMSE, стр. 24-31. ACM, (2003)Semantics and Completeness of Duration Calculus., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 209-225. Springer, (1991)