Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik. Sdl2pml - Tool for automated generation of Promela model from SDL specification. Computer Standards & Interfaces, 31(4):779-786, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.