Searching for authors named "Martin Steffen" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Characteristic µ-calculus formula for an underspecified transition system
- … for Underspecified Transition Systems ⋆ Harald Fecher and Martin Steffen Christian-Albrechts-University Kiel, Germany…
- Cited by 1 (0 self) – Add To MetaCart
-
Embedding chaos
- …£ ¢ Embedding Chaos Natalia Sidorova and Martin Steffen ¡ Department of Mathematics and Computer…
- Cited by 5 (3 self) – Add To MetaCart
-
Higher-Order Subtyping
- …Higher-Order Subtyping Martin Steffen Benjamin Pierce y February 2, 1994 University…
- Cited by 24 (1 self) – Add To MetaCart
-
Typing Confluence
- …Typing Con uence Uwe Nestmann yz INRIA Rocquencourt, France Martin Ste en x Christian…
- Cited by 8 (0 self) – Add To MetaCart
-
unknown title
- … Ábrahám a Immo Grabe b Andreas Grüner b Martin Steffen c,∗ Abstract a Jülich Research Centre, Germany b…
- Add To MetaCart
-
∗ Supported by the CWI-project “Systems Validation Centre (SVC)”.
- …)”. Martin Steffen Inst. für angewandte Mathematik und Informatik Christian…
- Add To MetaCart
-
Assertion-based analysis of hybrid systems with PVS
- … ¢ , and Martin Steffen ¡ Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu…
- Cited by 1 (0 self) – Add To MetaCart
-
Optimizing bounded model checking for linear hybrid systems
- … Ábrahám 1 , Bernd Becker 1 , Felix Klaedtke 1,2 , and Martin Steffen 3 1 Albert…
- Cited by 6 (4 self) – Add To MetaCart
-
Verification of hybrid systems: Formalization and proof rules in PVS
- …, Germany Martin Steffen Inst. für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu…
- Cited by 5 (1 self) – Add To MetaCart
-
Iterating Transducers
- …Iterating transducers ? Dennis Dams 1 , Yassine Lakhnech 2 , and Martin Steen 3 1 Bell Labs…
- Cited by 13 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
