Logics for Mazurkiewicz traces
Logics for Mazurkiewicz traces
Martin Leucker
Details
OL Work ID
OL41960548W
Find this book
Open Library