Philipp A. Heuberger

According to our database¹, Philipp A. Heuberger authored at least 3 papers between 1989 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

The minimal user interface of a simple refinement tool.

[BibT_eX]

[DOI]

Softw. Concepts Tools, 1998

Two Strategies to Data-Refine an Equivalence to a Forest.

[BibT_eX]

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1989

Distributed Deadlock Detection and Resolution with Probes.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 1989