librarian a book library

Automata Theory: An Algorithmic Approach Unfoldings - A Partial-Order Approach to Model Checking Automata Theory: An Algorithmic Approach Lecture notes for a course on finite and omega-automata Free Choice Petri Nets

Library Size: 80G (4 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]