• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Hauptwerk
  4. Linear time, branching time and partial order in logics and models for concurrency
 
  • Information
  • Publications
Options
Title

Linear time, branching time and partial order in logics and models for concurrency

Titel Supplements
School/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988
Verlag
Springer
Verlagsort
Berlin
Datum
1989
Serie
Lecture Notes in Computer Science
ISBN
3-540-51080-X
0-387-51080-X
Konferenz
School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022