Home | Search | Help  
Home Page Università di Genova

Seminar Details

Date 4-5-2005
Time 11:00
Room/Location 218
Title Expand, Enlarge and Check
Speaker Prof. Jean-Francois Raskin
Affiliation ULB Bruxelles
Link https://www.disi.unige.it/index.php?eventsandseminars/seminars
Abstract In this talk we present new algorithms for the coverability problem of well-structured systems (e.g. Lossy FIFO systems and Petri Net with transfer arcs).
Back to Seminars