Model Checking with Multi-Valued Temporal Logics (2000)

Cached

Download Links

by Marsha Chechik , Steve Easterbrook , Benet Devereux
Venue:In Proceedings of the International Symposium on Multiple Valued Logics
Citations:10 - 1 self