Statistics
Publications
1
Citations
15
H-Index
1
Active since
2008
Affiliations
Chalmers University of Technology(Current)
Kraut Akesson is an author at Chalmers University of Technology specializing in execution model design, automata in formal verification, and automata theory.
Publications per year
2008–2008
1
1
1–1 of 1