Wyniki wyszukiwania dla: Samuel Mimram
Distributed Computing > 2018 > 31 > 4 > 289-316
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 3: Formal Verification 1 > 85-98
Applied Categorical Structures > 2015 > 23 > 6 > 777-818
Electronic Notes in Theoretical Computer Science > 2013 > 298 > Complete > 283-307
Electronic Notes in Theoretical Computer Science > 2013 > 298 > Complete > 179-195
Electronic Notes in Theoretical Computer Science > 2012 > 283 > Complete > 77-109