Result: Runtime verification

*Title*:

Runtime verification : Dagstuhl seminar 07011 ; January 2-6, 2007 ; executive summary / 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