Login / Signup

A Method for Describing Concurrent Problems Based on Logic.

Georg WintersteinManfred DausmannGuido Persch
Published in: GI Jahrestagung (1980)
Keyphrases