Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
1997
Yves-Marie Quemener is an author specializing in model checking of infinite-state systems, computational models, and graph theory.
Publications per year
1997–1997
Model-Checking of Infinite Graphs Defined by Graph Grammars
Olaf Burkart, Yves-Marie Quemener · Electronic Notes in Theoretical Computer Science · 1997 · 10 citations · Full text
Computing, Computer Science, Algorithms +14
1–1 of 1