Automatic Synthesis of Deterministic Concurrency - Research Collection

Metadata only

Author

Raychev, Veselin

Date

2013

Type

Conference Paper

Citations

Cited 4 times in Web of Science

Cited 11 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-642-38856-9_16

Editor

Logozzo, Francesco

Fähndrich, Manuel

Book title

Static Analysis : 20th International Symposium : proceedings

Journal / series

Lecture Notes in Computer Science

Volume

7935

Pages / Article No.

283 - 303

Publisher

Springer

Event

20th International Symposium, SAS 2013, Seattle,WA, USA, June 20-22, 2013

Organisational unit

03948 - Vechev, Martin / Vechev, Martin

More

Show all metadata

Citations

Cited 4 times in Web of Science

Cited 11 times in Scopus

ETH Bibliography

yes

Altmetrics