BiCoq : Bigraphs Formalisation with Coq.

Cécile Marcon, Cyril Allignol, Célia Picard,Blair Archibald,Michele Sevegnani, Xavier Thirioux

ACM Symposium on Applied Computing（2025）

Cited 0|Views0

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined