Undecidability of Model Checking in Brane Logic

Bacci G, Miculan Marino

2008-01-01

Cite DOI PDF

Type

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