DOI,IST REx ID,Research Group,Title of publication
10.15479/AT-ISTA-20147,20147,"GradSch,ToHe",A monitoring-oriented theory and classification of quantitative specifications