Symbolic Counter Abstraction for Concurrent Software - Research Collection

Metadata only

Author

Basler, Gérard

Mazzucchi, Michele

Kroening, Daniel

Date

2009

Type

Conference Paper

Citations

Cited 25 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-642-02658-4_9

Book title

Computer aided verification : 21st international conference : proceedings

Journal / series

Lecture Notes in Computer Science

Volume

5643

Pages / Article No.

64 - 78

Publisher

Springer

Event

21st International Conference on Computer Aided Verification (CAV 2009), Grenoble, France, June 26 - July 2, 2009

More

Show all metadata

Citations

Cited 25 times in Web of Science

ETH Bibliography

yes

Altmetrics