State-Boundedness in Data-Aware Dynamic Systems (Extended Version)

Babak Bagheri Hariri, Diego Calvanese, Alin Deutsch, and Marco Montali

Technical Report, Free University of Bozen-Bolzano. KRDB Research Centre Technical Report KRDB13-04 2013.

@techreport{TR-KRDB-2013,
   title = "State-Boundedness in Data-Aware Dynamic Systems (Extended
Version)",
   year = "2013",
  author = "Bagheri Hariri, Babak and Diego Calvanese and Alin Deutsch and
Marco Montali",
   institution = "Free University of Bozen-Bolzano",
   number = "KRDB13-04",
}

url