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 |
Distributed versions of linear time temporal logic: A trace perspective
|
|---|---|
| Chapter number | 24 |
| Book title |
Lectures on Petri Nets I: Basic Models
|
| Published by |
Springer, Berlin, Heidelberg, September 1996
|
| DOI | 10.1007/3-540-65306-6_24 |
| Book ISBNs |
978-3-54-065306-6, 978-3-54-049442-3
|
| Authors |
P. S. Thiagarajan, Jesper G. Henriksen, Thiagarajan, P. S., Henriksen, Jesper G. |