Pattern matching and membership for hierarchical message sequence charts (Q927396): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00224-007-9054-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4300790099 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4535063 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniqueness Theorems for Periodic Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3044337 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations of Software Science and Computation Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Statecharts: a visual formalism for complex systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4484487 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Efficient solution of some problems in free partially commutative monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4535064 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4536625 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4941891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4496242 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The complexity of satisfiability problems / rank | |||
Normal rank |
Latest revision as of 11:25, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pattern matching and membership for hierarchical message sequence charts |
scientific article |
Statements
Pattern matching and membership for hierarchical message sequence charts (English)
0 references
6 June 2008
0 references
Hierarchical specifications
0 references
MSC
0 references
Complexity
0 references