Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mariusz A. Fecko
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science