Bigraphs meet double pushouts (2002)

by H Ehrig
Venue:In H. Ehrig, H.-J