bibliographer - Jinzhao Wu

bibliographer a curated TCS bibliography

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

Approximate Equivalence of the Hybrid Automata with Taylor Theory Guiming Luo Anping He Jinzhao Wu Shihan Yang Hongyan Tan [github]

Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model Harald Fecher Mila Majster-Cederbaum Jinzhao Wu [github]

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

[show logs] [hide logs]