|
|||||
|
|
An Investigation of 'Non-intermingling' Principles in Temporal Logic |
|
| Authors: | GALTON ANTONY |
| Affiliation: | Department of Computer Science, University of Exeter Exeter EX4 4PT, UK. E-mail: antony{at}dcs.exeter.ac.uk |
| Abstract: | |
| Keywords: | Temporal logic intermingling fuzz clustered variation |
| 本文献已被 Oxford 等数据库收录！ | |
