Read Book Advances In Verification Of Time Petri Nets And Timed Automata Online
Book: Advances In Verification Of Time Petri Nets And Timed Automata
Author: Luca Aceto
Category: science
Language: English
Size: 2.31 MB
Title: Advances In Verification Of Time Petri Nets And Timed Automata In recent years, researchers have made significant strides in the verification of Time Petri Nets (TPNs) and Timed Automata...
Ad Here
View Book
