Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny. Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. T. Petri Nets and Other Models of Concurrency, 8:89-105, 2013. [doi]

This author has not been identified. Look up 'Agata Janowska' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Agata Pólrola' in GoogleThis author has not been identified. Look up 'Andrzej Zbrzezny' in Google

runs on WebDSL