Towards an Effective Decision Procedure for LTL formulas with Constraints

COMINI, Marco

•

TITOLO, Laura

•

VILLANUEVA, Alicia

2013

conference object

Archivio

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

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

http://arxiv.org/abs/1308.4171

Diritti

metadata only access

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024