{"product_id":"a-journey-from-process-algebra-via-timed-automata-to-model-learning-von-undefined","title":"A Journey from Process Algebra via Timed Automata to Model Learning","description":"\n                                This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.\n                \n                \u003cp\u003e \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031156281\"\u003e\u003ch3\u003eEssays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031156281","offer_id":40562679971933,"sku":"9783031156281","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2ce72909-4749-4259-b9dd-c24c6a901ade.jpg?v=1773552140","url":"https:\/\/shop.autorenwelt.de\/en\/products\/a-journey-from-process-algebra-via-timed-automata-to-model-learning-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}