TY -
GEN
AU - Montanari, Ugo
AU - Pistore, Marco
TI -
CONCUR '95: Concurrency Theory: Checking bisimilarity for finitary π-calculus
PB - Springer Berlin Heidelberg
SN - 1611-3349
SN - 0302-9743
PY - 1995
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -