![](https://media.springernature.com/w90/springer-static/cover/journal/10703/28/2.jpg?as=webp)
Volume 28, Issue 2
March 2006Special Issue on Formal Methods for Globally Asynchronous and Locally Synchronous (GALS) Systems
- Issue Editors:
-
- Sandeep K. Shukla,
- Michael Theobald
6 articles in this issue