scientific article
From MaRDI portal
Publication:3044337
zbMath1059.68544MaRDI QIDQ3044337
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2286/22860326.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Bounded MSC communication, Pattern matching and membership for hierarchical message sequence charts, Infinite-state high-level MSCs: model-checking and realizability, Unification with Singleton Tree Grammars