What's Decidable About Sequences?

Thumbnail
Metadata only
Autor(in)
Furia, Carlo A.
Datum
2010
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Herausgeber(in)
Bouajjani, Ahmed
Chin, Wei-Ngan
Buchtitel
Automated technology for verification and analysis
Zeitschrift / Serie
Lecture Notes in Computer Science
Band
6252
Seiten / Artikelnummer
128 - 142
Verlag
Springer
Konferenz
8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore, September 21-24, 2010
Organisationseinheit
03594 - Meyer, Bertrand (emeritus)  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics