Order Article Reprints

Sensors2022, 22(23), 9552;https://doi.org/10.3390/s22239552

Journal: SensorsVolume: 22Number: 9552

Article: Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks

Authors:
Agnieszka M. Zbrzezny¹ and
Andrzej Zbrzezny^2,*

Link: https://www.mdpi.com/1424-8220/22/23/9552

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Order Article Reprints

Order Cost and Details

Order Type

Shipping Address

Billing Address