I agree that this site is using cookies. You can find further informations here.
X
Dal Zilio, Luca
6  results:
Bookchapter (Online) X
Search for persons X
?
1

MCC: A Tool for Unfolding Colored Petri Nets in PNML Format:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,
Dal Zilio, Silvano - p. 426-435 , 2020
Link: https://doi.org/10.1007/..
 
?
2

A State Class Construction for Computing the Intersection o..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Lubat, Éric ; Dal Zilio, Silvano ; Le Botlan, Didier.. - p. 79-95 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Presentation of the 9th Edition of the Model Checking Conte..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Amparore, Elvio ; Berthomieu, Bernard ; Ciardo, Gianfranco... - p. 50-68 , 2019
Link: https://doi.org/10.1007/..
 
?
4

A logic you can count on:

, In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Dal Zilio, Silvano ; Lugiez, Denis ; Meyssonnier, Charles - p. 135-146 , 2004
Link: https://dl.acm.org/doi/1..
 
?
5

A New Product Construction for the Diagnosability of Patter..:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),
Lubat, Eric ; Zilio, Silvano Dal ; Botlan, Didier Le.. - p. 104-109 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Precision Livestock Farming for Mediterranean Water Buffalo..:

, In: Lecture Notes in Civil Engineering; Safety, Health and Welfare in Agriculture and Agro-food Systems,
Meo Zilio, David ; Steri, Roberto ; Iacurto, Miriam... - p. 41-50 , 2022
Link: https://doi.org/10.1007/..
 
1-6