Team Automata Satisfying Compositionality (2003)

Cached

Download Links

by Maurice H. Ter Beek , Jetty Kleijn
Venue:Proc. FM 2003, in: Lecture Notes in Comput. Sci
Citations:12 - 4 self