Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Martin Steffen | lit.salon

Author

Martin Steffen

6 works

1994–2020 across 5 dated works

No biography is available yet.

Start with

Higher-order subtyping1994
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science)2005
Die Schlacht bei Minden: Weltpolitik und Lokalgeschichte2008
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings2011
With Olaf Owe, Jan Arne Telle

Books

5 works

Featured (5)Featured (5)All (6)All (6)

Search booksSort books

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science)2005
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings2011
With Olaf Owe, Jan Arne Telle
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Die Schlacht bei Minden: Weltpolitik und Lokalgeschichte2008
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Higher-order subtyping1994
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops Cosim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers2020
With Javier Camara
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Martin Steffen.

The conversation is still open.

There is no public salon activity to show for Martin Steffen yet.