|
Search the dblp DataBase
Martin Kramer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Günter Schreier, Alexander Kollmann, Martin Kramer, Jürgen Messmer, Andreas Hochgatterer, Peter Kastner
Mobile Phone Based User Interface Concept for Health Data Acquisition at Home. [Citation Graph (0, 0)][DBLP] ICCHP, 2004, pp:29-36 [Conf]
- Martin Kramer
Improving Operating System Usage. [Citation Graph (0, 0)][DBLP] GWAI, 1992, pp:320-333 [Conf]
- Martin Kramer, Claus Unger
A Generalizing Operator Abstraction. [Citation Graph (0, 0)][DBLP] PuK, 1994, pp:108-121 [Conf]
Challenges in embedded model checking - a simulator for the [mc]square model checker. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|