APA (7th ed.) Citation

Esparza, J. (1994). Decidability of model checking for infinite state concurrent systems.

Chicago Style (17th ed.) Citation

Esparza, Javier. Decidability of Model Checking for Infinite State Concurrent Systems. Edinburgh, 1994.

MLA (9th ed.) Citation

Esparza, Javier. Decidability of Model Checking for Infinite State Concurrent Systems. 1994.

Warning: These citations may not always be 100% accurate.