Pregled po projektu: 120095
Pronađeno 1 radova
-
1.Gurevich, Yuri; Rosenzweig, DeanPartially OrderedRuns: a Case Study // Abstract State Machines, Theory and Applications, LNCS 1912 / Gurevich, Yuri ; Kutter, Philipp ; Odersky, Martin ; Thiele, Lothar (ur.).
Berlin: Springer, Lecture Notes in Computer Science 1912, 2000. str. 131-150 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
