3 ms·Schneider's "Verification of Reactive Systems" is there and yuuummy.by fithisux 11y agoSchneider's "Verification of Reactive Systems" is there and yuuummy.