Statistics
Publications
2
Citations
82
H-Index
2
Active since
1999
Affiliations
Aalborg University(Current)
Chris B. Thomasen is an author at Aalborg University specializing in real-time control, real-time systems verification, and timed model checking.
Publications per year
1999–2000
2
2
1–2 of 2