|
Search the dblp DataBase
Peter Grønning:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. [Citation Graph (0, 0)][DBLP] CAV, 1992, pp:44-55 [Conf]
- Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. [Citation Graph (0, 0)][DBLP] FSTTCS, 1990, pp:332-348 [Conf]
- Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. [Citation Graph (0, 0)][DBLP] Larch, 1992, pp:86-97 [Conf]
- Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Stepwise Development of a Distributed Load Balancing Algorithms. [Citation Graph (0, 0)][DBLP] WDAG, 1990, pp:151-168 [Conf]
Search in 0.001secs, Finished in 0.001secs
|