Spatial logics for bigraphs, in (2005)

by G Conforti, D Macedonio, V Sassone
Venue:Yung (Eds.), Automata, Languages and Programming, Vol. 3580 of LNCS