Media type: E-Article Title: Computer Aided Verification: The mobility workbench — A tool for the π-Calculus Contributor: Victor, Björn; Moller, Faron Published: Springer Berlin Heidelberg, 1994 Published in: Computer Aided Verification (1994), Seite 428-440 Language: Not determined DOI: 10.1007/3-540-58179-0_73 ISBN: 9783540581796; 9783540484691 ISSN: 0302-9743; 1611-3349 Origination: Footnote: