Axiomatising timed automata
type: Item
instance of: scholarly article
title: Axiomatising timed automata
zbMATH Open document ID: 1025.68057
author: Huimin Lin
author: Wang Yi
published in: Acta Informatica
publication date: 2002-08-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1780843
zbMATH Keywords: timed automata
zbMATH Keywords: symbolic timed bisimulation
MaRDI profile type: Publication
full work available at URL: s236-002-8035-2
OpenAlex ID: W2089542926
DOI: 10.1007/S236-002-8035-2
description: scientific article; zbMATH DE number 1780843