Title
A calculus for team automata A calculus for team automata
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
conferenceObject
Publication
s.l. , [*]
Source (book)
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Handle