Tools and Algorithms for the Construction and Analysis of Systems - 19Th International Conference, Tacas 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013. Proceedings

AuthID
P-00M-X5H
2
Author(s)
Smolka, ScottA.
Document Type
Proceedings
Year published
2013
Published
in TACAS in Lecture Notes in Computer Science
Volume: 7795
Indexing
Publication Identifiers
Dblp: conf/tacas/2013
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.