Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

Publikation: KonferenzbeitragPosterForschung

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2013
VeranstaltungInternational Joint Conference on Artificial Intelligence - Beijing, China
Dauer: 3 Aug 20139 Aug 2013

Konferenz

KonferenzInternational Joint Conference on Artificial Intelligence
LandChina
OrtBeijing
Zeitraum3/08/139/08/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dies zitieren

Pill, I. H., & Quaritsch, T. (2013). Behavioral Diagnosis of LTL Specifications at Operator Level. Postersitzung präsentiert bei International Joint Conference on Artificial Intelligence, Beijing, China.

Behavioral Diagnosis of LTL Specifications at Operator Level. / Pill, Ingo Hans; Quaritsch, Thomas.

2013. Postersitzung präsentiert bei International Joint Conference on Artificial Intelligence, Beijing, China.

Publikation: KonferenzbeitragPosterForschung

Pill, IH & Quaritsch, T 2013, 'Behavioral Diagnosis of LTL Specifications at Operator Level', Beijing, China, 3/08/13 - 9/08/13, .
Pill IH, Quaritsch T. Behavioral Diagnosis of LTL Specifications at Operator Level. 2013. Postersitzung präsentiert bei International Joint Conference on Artificial Intelligence, Beijing, China.
Pill, Ingo Hans ; Quaritsch, Thomas. / Behavioral Diagnosis of LTL Specifications at Operator Level. Postersitzung präsentiert bei International Joint Conference on Artificial Intelligence, Beijing, China.
@conference{eb88bc131d144359a7ff3b21edf568f7,
title = "Behavioral Diagnosis of LTL Specifications at Operator Level",
author = "Pill, {Ingo Hans} and Thomas Quaritsch",
year = "2013",
language = "English",
note = "International Joint Conference on Artificial Intelligence ; Conference date: 03-08-2013 Through 09-08-2013",

}

TY - CONF

T1 - Behavioral Diagnosis of LTL Specifications at Operator Level

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

PY - 2013

Y1 - 2013

M3 - Poster

ER -