Sciweavers

Share
TASE
2007
IEEE

Streaming State Space: A Method of Distributed Model Verification

13 years 3 months ago
Streaming State Space: A Method of Distributed Model Verification
Viliam Holub, Petr Tuma
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where TASE
Authors Viliam Holub, Petr Tuma
Comments (0)
books