6 results on '"Yonezaki, N."'
Search Results
2. Evolutional tableau method for temporal logic specifications.
3. Program synthesis for stepwise satisfiable specification of reactive system.
4. Verification of reactive system specifications with outer event conditional formula
5. Program synthesis for stepwise satisfiable specification of reactive system
6. Evolutional tableau method for temporal logic specifications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.