Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitlePreface for the special issue for ATVA 2015.AuthorsFinkbeiner, Bernd; Pu, Geguang; Zhang, LijunSubjectsMATHEMATICAL models; COMPUTER simulation; MEMORYLESS systems; SYSTEM analysis; DATA analysisPublicationActa Informatica, 2018, Vol 55, Issue 8, p625ISSN0001-5903Publication typeProceedingDOI10.1007/s00236-018-0330-0