bibliographer - Rance Cleaveland

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Formal Methods in Industry Maurice ter Beek Rod Chapman Rance Cleaveland Hubert Garavel Rong Gu Ivo ter Horst Jeroen Keiren Thierry Lecomte Michael Leuschel Kristin Yvonne Rozier Augusto Sampaio Cristina Seceleanu Martyn Thomas Tim Willemse Lijun Zhang [github]

Process Algebra Rance Cleaveland Scott A. Smolka [github]

Computing behavioural relations, logically Rance Cleaveland Bernhard Steffen [github]

Equivalence and Preorder Checking for Finite-State Systems Rance Cleaveland Oleg Sokolsky [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]