Media type: E-Article Title: Lecture Notes in Computer Science: Minimal transition systems for history-preserving bisimulation Contributor: Montanari, Ugo; Pistore, Marco imprint: Springer Berlin Heidelberg, 1997 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/bfb0023477 ISSN: 0302-9743; 1611-3349 Origination: Footnote: