scientific article
From MaRDI portal
Publication:3624112
zbMath1183.68385arXiv1111.0054MaRDI QIDQ3624112
Publication date: 28 April 2009
Full work available at URL: https://arxiv.org/abs/1111.0054
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A theory of change for prioritised resilient and evolvable software systems ⋮ Revising system specifications in temporal logic ⋮ Finding explanations of inconsistency in multi-context systems ⋮ CTL update of Kripke models through protections ⋮ Two AGM-style characterizations of model repair
Uses Software
This page was built for publication:
