Back to Results
First PageMeta Content
Deadlock / Theoretical computer science / Dining philosophers problem / Petri net / Concurrency / Computer science / Computing


An Approach to Modelling and Verification of Component Based Systems G. Gössler(1) , S. Graf(2) , M. Majster-Cederbaum(3) , M. Martens(3) , J. Sifakis[removed])
Add to Reading List

Document Date: 2012-12-31 04:25:31


Open Document

File Size: 369,01 KB

Share Result on Facebook
UPDATE