Language Preservation Problems in Parametric Timed Automata

Saved in:

Bibliographic Details
Published in:	Logical Methods in Computer Science
Main Authors:	André, Étienne, Lime, Didier, Markey, Nicolas
Format:	Journal Article
Language:	English
Published:	episciences.org 01.01.2018
Subjects:	[INFO.INFO-ES]Computer Science [cs]/Embedded Systems [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] BC1-199 Computer Science - Logic in Computer Science Electronic computers. Computer science FOS: Computer and information sciences L/U-PTA language preservation Logic Logic in Computer Science (cs.LO) QA75.5-76.95 timed systems timing parameters trace preservation
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	1860-5974 1860-5974
DOI:	10.23638/lmcs-16