Synthesis of communicating processes from temporal logic specifications
Author(s)
Bibliographic Information
Synthesis of communicating processes from temporal logic specifications
University Microfilms International, 1985
Available at / 2 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
WOL||30||1200043638856
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Thesis(Ph.D.)--Stanford University, 1982