C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Copying safety and liveness properties of computational artefacts.
Nicola Angius
Giuseppe Primiero
Published in:
J. Log. Comput. (2023)
Keyphrases
</>
database
computational power
website
special case
desirable properties
data sets
machine learning
information retrieval
case study
scheduling problem
structural properties