Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann

Both, AndreasZimmermann, Wolf2025-06-022008https://epflicht.bibliothek.uni-halle.de/handle/123456789/1560458920131Xurn:nbn:de:gbv:3:2-815263892Online-Ressource (PDF-Datei: 20 S., 0,72 MB)enghttp://rightsstatements.org/vocab/InC/1.0/004Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf ZimmermannBook