학술논문
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
Document Type
Conference Paper
Author
Source
In: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12288 LNCS:161-177)
Subject
Language
English
ISSN
16113349
03029743
03029743