TY - GEN
AU - Alrajeh, Dalal
AU - Kramer, Jeff
AU - Russo, Alessandra
AU - Uchitel, Sebastian
AU - Dalal Alrajeh and Jeff Kramer and Alessandra Russo and Sebastian Uchitel
TI - An Inductive Approach for Modal Transition System Refinement
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Inductive Logic Programming
KW - Refinement
KW - Event Calculus
KW - Modal Transition Systems
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation