Skip to content

Formally Based Development of Concurrent Object-Oriented Systems.

Stephan Philippi

Year1999
ProceedingsPDPTA

Browse the full PDPTA paper archive.