From post

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems.

, и . ICALP (2), том 6756 из Lecture Notes in Computer Science, стр. 404-415. Springer, (2011)

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.

 

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

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems., и . ICALP (2), том 6756 из Lecture Notes in Computer Science, стр. 404-415. Springer, (2011)Terror Management and Twitter: The Case of the 2016 Berlin Terrorist Attack., , и . ISCRAM, ISCRAM Association, (2018)Crisis Warning Apps: Investigating the Factors Influencing Usage and Compliance with Recommendations for Action., , и . HICSS, стр. 1-10. ScholarSpace, (2019)Social Networking Sites in the Aftermath of a Crisis - the Enabling Role for Self-organization.. HICSS, стр. 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)The Life Cycle of Data Labels in Organizational Learning: a Case Study of the Automotive Industry., и . ECIS, (2022)Negative Effects of Enterprise Social Networks on Employees - A Case Study., , и . ECIS, (2020)Design and analysis aid for evaluating aircraft structures., и . IEA/AIE (1), стр. 469-472. ACM, (1989)A Protection-Motivation Perspective to Explain Intention to Use and Continue to Use Mobile Warning Systems., , и . Bus. Inf. Syst. Eng., 64 (2): 167-182 (2022)Effective Use of Mobile-Enabled Emergency Warning Systems., , и . ECIS, (2020)A systematic literature review on information systems for disaster management and proposals for its future research agenda., и . ECIS, (2022)