Publication
Title
A calculus for team automata
Author
Janssens, Dirk
ter Beek, Maurice
Gadducci, Fabio
Language
English
Source (book)
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
Publication
s.l.
:
2006
UAntwerpen
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Research group
Antwerp Systems and software Modelling (AnSyMo)
Publication type
P3 Proceeding
Affiliation
Publications with a UAntwerp address
External links
Record
Identifier
Creation
08.10.2008
Last edited
17.06.2024
To cite this reference
https://hdl.handle.net/10067/646170151162165141