Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

Testing Concurrent Reactive Systems with Constraint Logic Programming

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Lötzbeyer, H., Pretschner, A
Stichworte:
testing, model, logic, reactive systems
Kongress- / Buchtitel:
2nd workshop on Rule-Based Constraint Reasoning and Programming,
Jahr:
2000
 BibTeX