Feedback

X

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction

0 Ungluers have Faved this Work
Find on Google Books Find on OpenLibrary Find on LibraryThing

Why read this book? Have your say.

You must be logged in to comment.

Editions

edition cover
Contributors: Sven Schneider, Maria Maximova, Holger Giese,
1 ebooks
Publisher: Universitätsverlag Potsdam
Published: 2022-11-17
ISBN: 9783869565316
See this edition on Google Books
Download

Share

Copy/paste this into your site: