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 |