Search results for: Rémi Morin
Resource and Energy Economics > 2016 > 46 > C > 101-113
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 402-417
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 277-289
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Partial-Order and Simulation Techniques > 386-400
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 84-104
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 332-346
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2005 > Papers > 686-698
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 177-191
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Theory Track > 46-57