Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Applications and theory of petri nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / Lars M. Kristensen, Laure Petrucci (eds.). by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (32nd : 2011 : Newcastle upon Tyne, England) Kristensen, Lars M. (Lars Michael) Petrucci, Laure Series: Lecture notes in computer science ; 6709. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011 Other title: PETRI NETS 2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings / Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy) [jointly held conference.] Petrucci, Laure [editor.] Seceleanu, Cristina [editor.] Cavalcanti, Ana [editor.] International Workshop on Automated Verification of Critical Systems (17th : 2017 : Turin, Italy) Series: Lecture notes in computer science ; 10471. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: FMICS-AVoCS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Formal modeling and analysis of timed systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / Laure Petrucci, Jeremy Sproston, editors. by FORMATS (Conference) (21st : 2023 : Antwerp, Belgium) Petrucci, Laure [editor.] Sproston, Jeremy [editor.] Series: Lecture notes in computer science ; 14138. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2023 Other title: FORMATS Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / Luca Bernardinello, Laure Petrucci (eds.). by International Conference on Applications and Theory of Petri Nets and Concurrency (43rd : 2022 : Bergen, Norway) Bernardinello, Luca [editor.] Petrucci, Laure [editor.] Series: Lecture notes in computer science ; 13288. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2022 Other title: PETRI NETS 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha