Statistics
Publications
1
Citations
52
H-Index
1
Active since
2014
Affiliations
Uppsala University(Current)
Johan Uijen is an author at Uppsala University specializing in model checking, formal methods, and automata theory.
Publications per year
2014–2014
1
1
1–1 of 1