Mario R. F. Benevides, Renata P. de Freitas, Jorge PetrĂșcio Viana. Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electronic Notes in Theoretical Computer Science, 269:95-107, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.