Cite
APA Citation
Dabaghchian, M., & Abdollahi Azgomi, M. (2015). model checking the observational determinism security property using PROMELA and SPIN. Formal aspects of computing, 27, 789–804. http://access.bl.uk/ark:/81055/vdc_100080346935.0x00019b