Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga. Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems. IEEE Trans. Software Eng., 49(3):1299-1322, March 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.