[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Verifying infinite state processes with sequential and parallel composition
Bouajjani, Ahmed, Echahed, Rachid, Habermehl, PeterYear:
1995
Language:
english
DOI:
10.1145/199448.199470
File:
PDF, 1.23 MB
english, 1995