True Concurrency and Atomicity: A model checking approach with contextual Petri nets

contextual

von Alberto Franco

Taschenbuch

ISBN-13: 978-3-659-80102-0

ISBN-10: 3-659-80102-X

LAP LAMBERT Academic Publishing · 2015