Show simple item record

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 York, UK, March 22-29, 2009 Proceedings

dc.contributor.authorKowalewski, S.en
dc.contributor.authorPhilippou, Annaen
dc.contributor.editorPhilippou, Annaen
dc.contributor.editorKowalewski, S.en
dc.creatorKowalewski, S.en
dc.creatorPhilippou, Annaen
dc.date.accessioned2019-11-13T10:40:48Z
dc.date.available2019-11-13T10:40:48Z
dc.date.issued2009
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54306
dc.source15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84946408596&partnerID=40&md5=fa0bbec2cd6dff04d7486555612e939a
dc.titleTools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 York, UK, March 22-29, 2009 Proceedingsen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume5505
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors: ERCIMen
dc.description.notesMicrosoft Researchen
dc.description.notesRolls-Royceen
dc.description.notesTransitiveen
dc.description.notesYorkshire Forwarden
dc.description.notesConference code: 153839</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record