CoCasl at Work β Modelling Process Algeb
β
Till Mossakowski; Markus Roggenbach; Lutz SchrΓΆder
π
Article
π
2003
π
Elsevier Science
π
English
β 174 KB