User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Lötzbeyer, H., Pretschner, A 
Title:
Testing Concurrent Reactive Systems with Constraint Logic Programming 
Keywords:
testing, model, logic, reactive systems 
Book / Congress title:
2nd workshop on Rule-Based Constraint Reasoning and Programming, 
Year:
2000