Skip navigation and go to main content
On the 8th International Conference on Telecommunications, Zagreb, Croatia, we have presented paper titled "Toward automatic generation of Promela models from SDL specification".