TY - CONF T1 - Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization UR - http://dx.doi.org/10.1007/978-3-642-12032-9_9 PY - 2010/04/30 AU - Popescu A AU - Gunter EL ED - DO - DOI: 10.1007/978-3-642-12032-9_9 PB - Springer Berlin Heidelberg SN - 9783642120312 SP - 109 EP - 127 Y2 - 2025/05/19 ER -