Title |
Towards a temporal logic for true concurrency. Part 1. Linear time propositional logic |
|---|---|
Involved |
Wolfgang Reisig (Verfasser) |
Published |
Sankt Augustin: GMD |
Extent |
IV, 46 S. : 22 graph. Darst. |
Topic |
|
Series |
Arbeitspapiere der GMD ; 277 |
Part of |
|
Record ID |
880172398 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: