Journals in DBLP

Formal Methods in System Design
2006, volume: 28, number: 2

1. Sandeep K. Shukla, Michael Theobald
   Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:28, n:2, pp:91-92 [Journal]
   
2. Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
   A Framework for Modeling the Distributed Deployment of Synchronous Designs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:28, n:2, pp:93-110 [Journal]
   
3. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
   Concurrency in Synchronous Systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:28, n:2, pp:111-130 [Journal]
   
4. Jean-Pierre Talpin, Paul Le Guernic
   An algebraic theory for behavioral modeling and protocol synthesis in system design. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:28, n:2, pp:131-151 [Journal]
   
5. Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma
   Reasoning about synchronization in GALS systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:28, n:2, pp:153-169 [Journal]
   
6. Uri Frank, Tsachy Kapschitz, Ran Ginosar
   A predictive synchronizer for periodic clock domains. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2006, v:28, n:2, pp:171-186 [Journal]