Network invariants for real-time systems
type: Item
instance of: scholarly article
title: Network invariants for real-time systems
zbMATH Open document ID: 1163.68326
author: Olga Grinchtein
author: Martin Leucker
published in: Formal Aspects of Computing
publication date: 2009-05-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5558110
zbMATH Keywords: network invariants
zbMATH Keywords: real-time systems
zbMATH Keywords: parameterized systems
MaRDI profile type: Publication
full work available at URL: s00165-008-0089-0
OpenAlex ID: W2008237330
cites work: Q4038702
cites work: A theory of timed automata
cites work: Model checking of systems with many identical timed processes
cites work: The existence of refinement mappings
cites work: Q4817528
cites work: Network invariants for real-time systems
cites work: Inferring Network Invariants Automatically
cites work: Abstraction and Refinement in Model Checking
cites work: A structural induction theorem for processes
cites work: Control and data abstraction: The cornerstones of practical formal verification
cites work: Automatic verification of parameterized networks of processes
cites work: Q4418006
DOI: 10.1007/S00165-008-0089-0
description: scientific article; zbMATH DE number 5558110