Desynchronisation Technique Using Petri Nets (2009)
Author(s): Dasgupta S; Yakovlev A
Notes: Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design (FMGALS 2009)
Type of Article: Conference Proceedings
Journal: Electronic Notes in Theoretical Computer Science