Verification of Time-Bounded Multiset Rewriting Properties

Published in JLAMP, 2026