Statistics
Publications
1
Citations
65
H-Index
1
Active since
1991
Affiliations
Imperial College London(Current)
T. Maibaum is an author at Imperial College London specializing in specification languages, temporal specifications, and temporal logic reasoning.
Publications per year
1991–1991
1
1
Temporal Reasoning over Deontic Specifications
J.L. Fiadeiro, T. Maibaum · Journal of Logic and Computation · 1991 · 65 citations
1–1 of 1