CoCasl at Work -- Modelling Process Algebra (2003)

by Till Mossakowski , Markus Roggenbach , Lutz Schröder
Venue:COALGEBRAIC METHODS IN COMPUTER SCIENCE, ELECTRON
Citations:4 - 3 self