![](/img/cover-not-exists.png)
Verification of well-formed communicating recursive state machines
Laura Bozzelli, Salvatore La Torre, Adriano PeronVolume:
403
Year:
2008
Language:
english
Pages:
24
DOI:
10.1016/j.tcs.2008.06.012
File:
PDF, 898 KB
english, 2008