scientific article

From MaRDI portal

Publication:3315043

Jump to:navigation, search

zbMath0532.68093MaRDI QIDQ3315043

Anne Wilharm, Bernd Mahr

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graph grammars computer processed control specification of a railroad control system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Computing methodologies and applications (68U99) Model systems in control theory (93C99)

Related Items (1)

Amalgamation of graph transformations: a synchronization mechanism

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3315043&oldid=16542301"