![](/img/cover-not-exists.png)
[IEEE 23rd Annual Symposium on Foundations of Computer Science - Chicago, IL, USA (1982.11.3-1982.11.5)] 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982) - A temporal logic to deal with fairness in transition systems
Queille, J. P., Queille, J. P., Queille, J. P., Queille, J. P., Sifakis, J., Sifakis, J., Sifakis, J., Sifakis, J.Year:
1982
Language:
english
DOI:
10.1109/sfcs.1982.57
File:
PDF, 1.06 MB
english, 1982