Undecidability of Model Checking in Brane Logic

BACCI G

•

MICULAN, Marino

2008

journal article

Periodico

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

DOI

10.1016/j.entcs.2008.10.025

Archivio

http://hdl.handle.net/11390/853484

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-55249101208

Diritti

open access

Scopus© citazioni

0

Data di acquisizione
Jun 7, 2022