School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988

2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/58881School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988