Order Article Reprints
    
        Journal: Sensors, 2022
        Volume: 22 
                	Number: 9552 
                
        
        Article:
        Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks 
        Authors: 
       	by
                    Agnieszka M. Zbrzezny and Andrzej Zbrzezny        
        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.
    
 
        
