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

Door: Bakker, J.W. de et al (editors)

---

• ISBN:
• Uitgever: Springer 1989 sewed
• Taal:
• Categorie: science
• Details: 713 pp. Lecture Notes in Computer Science nr 354 (code Sc-51)
• Extra informatie:
• € 20.00