Search

Lianyi Zhang

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus

Published with Wowchemy — the free, open source website builder that empowers creators.