Statistics
Publications
1
Citations
13
H-Index
1
Active since
1999
Affiliations
Aalborg University(Current)
Nicky O. Bodentien is an author at Aalborg University specializing in formal specification, formal methods, and formal verification.
Publications per year
1999–1999
1
1
Verification of State/Event Systems by Quotienting
Nicky O. Bodentien, Jacob S. Vestergaard, Jacob Friis et al. · BRICS Report Series · 1999 · 13 citations · Full text
1–1 of 1