Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alex Petrenko
On Test Derivation From Partial Specifications
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
