| Original language | English |
|---|---|
| Journal | 9th Conference Proceedings JSSST |
| Publication status | Published - 1992 |
Partial Computation of Reactive Concurrent Processes using Temporal Logic
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
| Original language | English |
|---|---|
| Journal | 9th Conference Proceedings JSSST |
| Publication status | Published - 1992 |