Result: Runtime verification

*Title*:

Runtime verification : 07011 abstracts collection ; Dagstuhl seminar / Bernd Finkbeiner ...

*Author/editor-in-chief*:

Finkbeiner, Bernd

*Publication*:

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Dagstuhl seminar proceedings 07011

*Result*: Runtime verification