Intl. Colloquium on Automata, Languages, and Programming, ICALP 2017


Article Details
Title: Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Article URLs:
Alternative Article URLs:
Authors: Laura Bozzelli
  • University of Napoli “Federico II”
Alberto Molinari
  • University of Udine
Angelo Montanari
  • University of Udine
Adriano Peron
  • University of Napoli “Federico II”
Pietro Sala
  • University of Verona
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/icalp/BozzelliMMPS17
Author Comments:

Discuss this paper and its artifacts below