Searching for authors named "Monika Maidl" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems
- …A Unifying Model Checking Approach for Safety Properties of Parameterized Systems # Monika Maidl…
- Cited by 4 (0 self) – Add To MetaCart
-
The Common Fragment of CTL and LTL
- …The Common Fragment of CTL and LTL Monika Maidl Siemens Corporate Technology Otto-Hahn-Ring 6…
- Cited by 23 (1 self) – Add To MetaCart
-
Temporal Logic Extended by Universal Quantifiers
- …Temporal Logic Extended by Universal Quantiers Monika Maidl Mathematisches Institut, Ludwig…
- Add To MetaCart
-
Simple Representative Instantiations for Multicast Protocols
- …Simple representative instantiations for multicast protocols Javier Esparza and Monika Maidl LFCS…
- Cited by 4 (0 self) – Add To MetaCart
-
Choreographing security and performance analysis for web services
- … Haenel 1 ,Leïla Kloul 2 , and Monika Maidl 3 1 Laboratory for Foundations of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
-
Attacking a protocol for group key agreement by refuting incorrect inductive conjectures
- … Steel, Alan Bundy, and Monika Maidl School of Informatics, University of Edinburgh, Edinburgh, EH8 9LE…
- Cited by 4 (3 self) – Add To MetaCart
-
Using Model Checking for System Verification
- …Using Model Checking for System Verication Monika Maidl Dissertation an der Fakultt fr Mathematik…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 7.
