scientific article; zbMATH DE number 5499378
From MaRDI portal
zbMath1167.68401MaRDI QIDQ5506396
Yosinori Watanabe, Cong Liu, Alex Kondratyev, Jörg Desel, Alberto L. Sangiovanni-Vincentelli
Publication date: 28 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, Integrating discrete controller synthesis into a reactive programming language compiler, Quasi-static scheduling of communicating tasks