Refinement of trace abstraction for real-time programs
type: Item
instance of: scholarly article
title: Refinement of trace abstraction for real-time programs
zbMATH Open document ID: 1478.68052
DOI: 10.1007/978-3-319-67089-8_4
author: Franck Cassez
author: Peter Gjøl Jensen
author: Kim G. Larsen
publication date: 2017-12-20T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6820343
MaRDI profile type: Publication
full work available at URL: 978-3-319-67089-8 4
OpenAlex ID: W2750367645
description: scientific article; zbMATH DE number 6820343