Molnár, Zsófia Klára
271  results:
Search for persons X
?
 
?
12

Theta: Abstraction Based Techniques for Verifying Concurren..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk... - p. 412-417 , 2024
 
?
 
1-15