Specification Languages for Stutter-Invariant Regular Properties

Metadata only

Author

Date

2009

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Automated technology for verification and analysis : 7th international symposium : proceedings

Journal / series

Lecture Notes in Computer Science

Volume

5799

Pages / Article No.

244 - 254

Publisher

Springer

Event

7th International Symposium on Automated Technology for Verification and Analysis (ATVA 2009), Macao, China, October 14-16, 2009

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection