pdf-format: |
|
@InProceedings{legay_et_al:OASIcs:2006:766, author = {Axel Legay and Luca de Alfaro and Marco Faella}, title = {{An Introduction to the Tool Ticc}}, booktitle = {Workshop on Trustworthy Software}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-939897-02-6}, ISSN = {2190-6807}, year = {2006}, volume = {3}, editor = {Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2006/766}, URN = {urn:nbn:de:0030-drops-7667}, doi = {10.4230/OASIcs.TrustworthySW.2006.766}, annote = {Keywords: Open system, game, interface automata} }
Keywords: | Open system, game, interface automata | |
Seminar: | Workshop on Trustworthy Software | |
Issue date: | 2006 | |
Date of publication: | 19.10.2006 |