Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Zohar Manna 1 found (25 total)

alternate case: zohar Manna

Actor model theory (1,545 words) [view diff] exact match in snippet view article find links to article

Safety Journal of Computer Software Engineering. 1995. Luca de Alfaro, Zohar Manna, Henry Sipma and Tomás Uribe. Visual Verification of Reactive Systems