Fingerprint
Dive into the research topics of 'Undecidability of Model checking in Brane Logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Undecidability of Model checking in Brane Logic
Giorgio Bacci, Marino Miculan
Research output: Contribution to journal › Conference article in Journal › Research › peer-review
88
Downloads
(Pure)