Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2002
Usenko, Y.S.
(2002)
Linearization of μ-CRL specifications. Extended abstract.
In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK.
Technical Report DSSE-TR-2002-5.
Department of electronics and computer science.
ISBN not assigned
This list was generated on Thu May 24 08:30:24 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||