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

    Johan van Benthem (auth.) J. W. de Bakker W. -P. de Roever G. Rozenberg (eds.)

Click on cover to enlarge.
16 - 18Hours to read