ExLibris header image
SFX Logo
Title: Propositional dynamic logic for Petri nets
Source:

Logic Journal of the Igpl [1367-0751] Lopes, B yr:2014


Collapse list of basic services Basic
Sorry, no full text available...
Please use the document delivery service (see below)  
Holding information
Holdings in library search engine ALBERT GO
Document delivery
Request document via Library/Bibliothek GO

Expand list of advanced services Advanced
A service provided by the Library of the Wissenschaftspark Albert Einstein, Potsdam, Germany.
© 2005 SFX by Ex Libris Inc.