E | |
---|---|
[ES84] | E. Allen Emerson et A. Prasad Sistla. Deciding Full Branching Time Logic. Information and Control 61(3):175-201. Academic Press, juin 1984. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
E | |
---|---|
[ES84] | E. Allen Emerson et A. Prasad Sistla. Deciding Full Branching Time Logic. Information and Control 61(3):175-201. Academic Press, juin 1984. |