Searching for authors named "Atsushi Togashi" – sorted by Relevance.
-
Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic
- ) Names of authors and membership Atsushi Togashi y Member and Shigetomo Kimura y Member (c
- Add To MetaCart
-
Hierarchical Specification of Reactive System Requirements
- Hierarchical Specification of Reactive System Requirements Xiaosong Lu, Fumiaki Kanezashi, Atsushi
- Add To MetaCart

