|
Search the dblp DataBase
Birgit Schieder:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
Interpreter Verification for a Functional Language. [Citation Graph (0, 0)][DBLP] FSTTCS, 1994, pp:77-88 [Conf]
- W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder
An Elementary Derivation of the Alternating Bit Protocol. [Citation Graph (0, 0)][DBLP] MPC, 1998, pp:175-187 [Conf]
- Birgit Schieder
Pointer Theory and Weakest Preconditions without Addresses and Heap. [Citation Graph (0, 0)][DBLP] MPC, 2004, pp:357-380 [Conf]
- Birgit Schieder, Manfred Broy
Adapting Calculational Logic to the Undefined. [Citation Graph (0, 0)][DBLP] Comput. J., 1999, v:42, n:2, pp:73-81 [Journal]
Search in 0.002secs, Finished in 0.002secs
|