search result

Cover von On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics

Year: 2021
Media group: LIPIcs
Cover von Static Race Detection for RTOS Applications

Static Race Detection for RTOS Applications

Year: 2020
Media group: LIPIcs
Cover von Modern Applications of Automata Theory
Search for this author
Year: 2012
Publisher: Singapore, World Scientific
Series: IISc Research Monographs Series; 2
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3 - 6, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 10482
Media group: MONOGRAPHIE
Cover von IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
FSTTCS 2012 : December 15 - 17, 2012 Hyderabad, India
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 18
Media group: LIPIcs
Cover von Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12 - 14, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 8931
Media group: MONOGRAPHIE
OPEN V 11.1.0.0