M | |
---|---|
[Mai00] | Monika Maidl.
The Common Fragment of CTL and LTL.
In FOCS'00,
pages 643-652.
IEEE Comp. Soc. Press, November 2000.
|
Search
Displayed 1 resultList of authors
- 1
M | |
---|---|
[Mai00] | Monika Maidl.
The Common Fragment of CTL and LTL.
In FOCS'00,
pages 643-652.
IEEE Comp. Soc. Press, November 2000.
|