TY - THES ID - 145750676 TI - Symbolic methods for exploring infinite state spaces PY - 1998 PB - Liège : Université de Liège, Faculté des sciences appliquées (ULg), DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145750676 AB - ER -