Relational String Verification Using Multi-track Automata (Q3073648): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Computer Aided Verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Path Feasibility Analysis for String-Manipulating Programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer Aided Verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754102 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4813388 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbolic String Verification: Combining String Analysis and Size Analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA / rank | |||
Normal rank |
Latest revision as of 18:56, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relational String Verification Using Multi-track Automata |
scientific article |
Statements
Relational String Verification Using Multi-track Automata (English)
0 references
11 February 2011
0 references