(1 - 5 von 5
)
FG RSS-VERIFY - Gesellschaft für Informatik eVfg-rss-verify.gi.de › veranstaltung › methoden-und-beschreibungssprachen...
fg-rss-verify.gi.de
Universität Ulm; Patrick Sittel, Thomas Schönwälder, Martin Kumm and Peter Zipf ScaLP: A Light-Weighted (MI)LP-Library Universität Kassel. 17: :10.
sortiert nach Relevanz / Datum