Forays into sequential composition and concatenation in EAGLE. To appear (2008)

by J Baran, H Barringer
Venue:in Proceedings of Run-time Verification Workshop, RV 2008