Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleSpecial issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.AuthorsFinkbeiner, Bernd; Sanchez, CesarSubjectsINTERNET; HORN clauses; MACHINE theory; MARKOV processes; BENCHMARKING (Management)PublicationActa Informatica, 2016, Vol 53, Issue 4, p325ISSN0001-5903Publication typeEditorialDOI10.1007/s00236-016-0259-0