User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Testing Concurrent Reactive Systems with Constraint Logic Programming

Document type:
Konferenzbeitrag
Author(s):
Lötzbeyer, H., Pretschner, A
Keywords:
testing, model, logic, reactive systems
Book / Congress title:
2nd workshop on Rule-Based Constraint Reasoning and Programming,
Year:
2000
 BibTeX