Combining communicating sequential processes and temporal logic

Justin Pearson, Jeremy Bryans
January 1998
Cite
Type
Journal article
Publication
The Journal of the Estonian Academy of Science and Engineering