Formal Methods in Software and Systems Modeling

DOI10.1007/b106390zbMath1075.68610OpenAlexW2492988005MaRDI QIDQ5710427

Gabriel Valiente, Francesc Rosselló

Publication date: 2 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106390

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42)

Related Items

Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach, Efficient reconstruction of metabolic pathways by bidirectional chemical search