Quocnam Tran. A Computational Method for Temporal Logic Reasoning and Model Checking. In Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri, editors, CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. pages 55-59, IEEE Computer Society, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.