Steffen, Martin.
Steffen, Martin, 1965-
Steffen, M. (Martin)
Martin Steffen autor publikací z oboru počítačové vědy a matematiky, působí v Německu
VIAF ID: 164489067 ( Personal )
Permalink: http://viaf.org/viaf/164489067
Preferred Forms
- 100 0 _ ‡a Martin Steffen ‡c autor publikací z oboru počítačové vědy a matematiky, působí v Německu
-
- 100 1 _ ‡a Steffen, Martin
- 100 1 _ ‡a Steffen, Martin
- 100 1 _ ‡a Steffen, Martin
-
-
- 100 1 _ ‡a Steffen, Martin ‡d 1965-
-
-
-
5xx's: Related Names (3)
- 551 _ _ ‡a Bad Honnef ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Christian-Albrechts-Universität zu Kiel ‡b Institut für Informatik ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universitetet i Oslo ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Behavioral interface description of an object-oriented language with futures and promises | |
Closing open SDL-systems for model checking with DTSpin | |
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever | |
Deadlock checking by a behavioral effect system for lock handling | |
A Deductive Proof System for Multithreaded Java with Exceptions | |
Estimating resource bounds for software transactions | |
Executable interface specifications for testing asynchronous Creol components | |
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings | |
Fundamentals of computation theory : 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings | |
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes | |
Lazy behavioral subtyping | |
Polarized higher-order subtyping | |
Reachability analysis of complex planar hybrid systems | |
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers |