Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3

Parution

01/05/1989

Traduction

Jacobus W. de Bakker

Valeur d’échange

11 points