1 entries found.



2003
Student Thesis
M.H. ter Beek Team automata : a formal approach to the modeling of collaboration between system components