Software: Practice & Experience
ISSNs: 0038-0644
John/Wiley & Sons Ltd., Storbritannien
Central database
Tidsskrift
Publikationer
(3)- Udgivet
WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Developing UPPAAL over 15 years
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Integrating multiple calendars using tau ZAMAN
Publikation: Forskning - peer review › Tidsskriftartikel
ID: 15125927