Goanna - Research Collection

Metadata only

Author

Fehnker, Ansgar

Lussenburg, Michel

Date

2007

Type

Conference Paper

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/978-3-540-70952-7_20

Editor

Haverkort, Boudewijn

Leucker, Martin

Pol, Jaco van de

Book title

Formal methods: applications and technology : 11th international workshop : revised selected papers

Journal / series

Lecture Notes in Computer Science

Volume

4346

Pages / Article No.

297 - 300

Publisher

Springer

Event

11th International Workshop FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, 2006

More

Show all metadata

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics