Conference item icon

Conference item

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

Actions


Authors


Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer
Volume:
7795
Publication date:
2013
URN:
uuid:7c681399-6ca5-47bc-93bd-a7a3bb5b8af3
Local pid:
cs:6945
ISBN:
978-3-642-36741-0

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP