![](/img/cover-not-exists.png)
Slicing communicating automata specifications: polynomial algorithms for model reduction
Sébastien Labbé, Jean-Pierre GalloisVolume:
20
Language:
english
Pages:
33
DOI:
10.1007/s00165-008-0086-3
Date:
December, 2008
File:
PDF, 2.21 MB
english, 2008