Unfold/fold transformations for automated verification of parameterized concurrent systems

• المؤلفون الرئيسيون: Roychoudhury, A., Ramakrishnan, C.R.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: مقال
• منشور في: 2013
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/38939

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)