TY - THES ID - 139485911 TI - Automata and logics for message sequence charts AU - Bollig, Benedikt AU - Rheinisch-Westfälischen Technischen Hochschule Aachen PY - 2005 DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:139485911 AB - ER -