%0 Thesis %1 phd/it/Poli10 %A Poli, Francesco %D 2010 %K dblp %T Symbolic model checking of real-time CTL properties over preemptive time petri nets.

@phdthesis{phd/it/Poli10, added-at = {2023-05-06T00:00:00.000+0200}, author = {Poli, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2e23bc9a336831926df0808f37e5f4fac/dblp}, ee = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BVE0520839}, interhash = {15f189fe6dd87d76bd46cf4fbf54bd58}, intrahash = {e23bc9a336831926df0808f37e5f4fac}, keywords = {dblp}, school = {University of Florence, Italy}, timestamp = {2024-04-09T09:27:35.000+0200}, title = {Symbolic model checking of real-time CTL properties over preemptive time petri nets.}, year = 2010 }