CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Deciding weak weighted bisimulation
Marino Miculan
,
Marco Peressotti
2017-01-01
Cite
Type
Conference paper
Publication
CEUR Workshop Proceedings
Computer Science (all)
Related
Towards user recognition by shallow web traffic inspection
Deciding hedged bisimilarity
Labelled variables in logic programming: Foundations
Loose Graph Simulations
Structural operational semantics for non-deterministic processes with quantitative aspects
Cite
×