CITATION STYLE
Proving Behavioral Properties. (2005). In A Practical Theory of Reactive Systems (pp. 103–121). Springer-Verlag. https://doi.org/10.1007/3-540-27348-4_4
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley