Lynette I. Millett, Tim Teitelbaum. Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. STTT, 2(4):343-349, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.