Chris B. Thomasen

CB

Statistics

Publications

2

Citations

82

H-Index

2

Active since

1999

Affiliations

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

Publications

2