Synthesis of reactive programs

Authors:
Anuchit Anuchitanukul
Affiliations:
Stanford Univ.
Venue:
Synthesis of reactive programs
Year:
1996

Citing 0
Cited 3

Model Checking: A Tutorial Overview

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Model checking: a tutorial overview

Modeling and verification of parallel processes
Model checking

Handbook of automated reasoning

Quantified Score

Hi-index	0.01

Visualization

Abstract