1. Sacred Heart College (Autonomous)
  2. 000 Computer science, Information & General works
  3. 0.1 Data Processing & Computer Science
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/56750
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBeyer, Dirk Huisman, Marieke-
dc.date.accessioned2026-09-14T23:28:12Z-
dc.date.available2026-09-14T23:28:12Z-
dc.date.issued2018-
dc.identifier.isbn9783319899602-
dc.identifier.urihttp://localhost:8080/xmlui/handle/123456789/56750-
dc.language.isoenen_US
dc.publisherSpringer Natureen_US
dc.titleTools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of theen_US
dc.typeBooken_US
Appears in Collections:0.1 Data Processing & Computer Science

Files in This Item:
File Description SizeFormat 
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki.pdf348.58 kBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.