Yazar
Roberto Segala
9 cilt bulundu.
Cilt sonuçları
The Theory of Timed I/O Automata, Second Edition
Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager · Springer Nature
130 sayfa · 2022-06-01
Computers
The Theory of Timed I/O Automata
Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager · Springer Nature
110 sayfa · 2022-12-06
Mathematics
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
Massachusetts Institute of Technology. Laboratory for Computer Science, Nancy Lynch, Roberto Segala · Yayınevi bilinmiyor
39 sayfa · 1993
Kategori yok