Symbolic Model Checking for Distributed Real-Time Systems.

Wang, FarnFarnWangMok, Aloysius K.Aloysius K.MokEmerson, E. AllenE. AllenEmersonFARN WANG2020-06-042020-06-041993https://scholars.lib.ntu.edu.tw/handle/123456789/497141Symbolic Model Checking for Distributed Real-Time Systems.conference paper10.1007/BFb0024671https://doi.org/10.1007/BFb0024671