↓ Skip to main content

Formal Methods for the Design of Real-Time Systems

Overview of attention for book
Attention for Chapter 3: Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
Altmetric Badge

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
Chapter number 3
Book title
Formal Methods for the Design of Real-Time Systems
Published by
Springer, Berlin, Heidelberg, January 2004
DOI 10.1007/978-3-540-30080-9_3
Book ISBNs
978-3-54-023068-7, 978-3-54-030080-9
Authors

J. C. M. Baeten, M. A. Reniers, Baeten, J. C. M., Reniers, M. A.

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 20%
Unknown 4 80%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 20%
Unknown 4 80%
Readers by discipline Count As %
Computer Science 1 20%
Unknown 4 80%