Yazar
c courcoubetis
7 cilt bulundu.
Cilt sonuçları
Formal Methods and Tools for the Development of Distributed and Real Time Systems
Willem-Paul de Roever, H. Barringer, C. Courcoubetis · Yayınevi bilinmiyor
17 sayfa · 1990
Kategori yok
Memory Efficient Algorithms for the Verification of Temporal Properties
International Business Machines Corporation. Research Division, C. Courcoubetis, M. Y. Vardi, P. Wolper, M. Yannakakis · Yayınevi bilinmiyor
15 sayfa · 1990
Kategori yok
Reasoning about Fair Concurrent Programs
International Business Machines Corporation. Research Division, C. Courcoubetis, M. Y. Vardi, P. Wolper · Yayınevi bilinmiyor
12 sayfa · 1986
Computer programs