Tuya, J., Sánchez, L., & Corrales, J. A. (1995). Using a symbolic model checker for verify safety properties in SA/RT models (W. Schäfer & P. Botella, Eds.). Berlin, Heidelberg: Springer Berlin Heidelberg.
We only use our own cookies that are necessary for the site to work. If you accept, we will also use Google Analytics cookies to measure visits and load the LinkedIn widget on the home page. You can change your choice at any time from «Cookie settings» at the bottom of the page.
