Streaming State Space: A Method of Distributed Model Verification.

Viliam Holub, Petr Tuma

Browse the full TASE paper archive.