Login / Signup
Hitoshi Ohsaki
Publication Activity (10 Years)
Years Active: 1996-2014
Publications (10 Years): 0
Top Topics
Formal Language
Owl Dl Ontology
Formal Semantics
Model Checking
Top Venues
ICST
VSTTE
APSEC
Formal Aspects Comput.
</>
Publications
</>