Title of article

Modularity for teams of I/O automata

Author/Authors

Maurice H. ter Beek، نويسنده , , Jetty Kleijn، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2005

Pages

9

From page

487

To page

495

Keywords

formal methods , Distributed Systems , I/O automata , Team automata

Journal title

Information Processing Letters

Serial Year

2005

Journal title

Information Processing Letters

Record number

130126