Edited, memorised or added to reading queue

on 19-Jan-2024 (Fri)

Do you want BuboFlash to help you learning these things? Click here to log in or create user.

Annotation 7612862958860

An Analyzer for Message Sequence Charts Rajeev Alur, Gerard J. Holzmann, Doron Peled
statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

pdf

cannot see any pdfs