Statistics
Publications
1
Citations
16
H-Index
1
Active since
1992
Affiliations
University of Colorado Boulder(Current)
Plessier is an author at University of Colorado Boulder specializing in model checking, formal methods, and automata theory.
Publications per year
1992–1992
1
1
1–1 of 1