Metadata only
Author
Torabi Dashti, Mohammad
Basin, David
Date
2017Type
- Conference Paper
Altmetrics
Publication status
publishedEditor
D'Souza, Deepak
Kumar, K. Narayan
Book title
Automated Technology for Verification and AnalysisJournal / series
Lecture Notes in Computer ScienceVolume
Pages
Publisher
SpringerEvent
Organisational unit
03634 - Basin, David
More
Show all metadata
Altmetrics