Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Partial Updates Exploration II

Yuri Gurevich and Nikolai Tillmann

Details

Publication typeInproceedings
Published inAbstract State Machines
Pages57-86
Volume2589
SeriesLecture Notes in Computer Science
PublisherSpringer Verlag
> Publications > Partial Updates Exploration II