Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1 Publication


2009 | Conference (Editor) | LibreCat-ID: 3202
M. Leuschel and H. Wehrheim, Eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. 2009.
LibreCat | DOI
 

Filters and Search Terms

isbn=978-3-642-00254-0

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed