Patterns In Property Specifications For Finite-State Verification

·1999·DOI

Health Data Science

Data Science and Technologies

Software Engineering and Practices

Pattern Matching Techniques

Role in the Field

Neutralin Health Data Science

Neutralin Data Science and Technologies

Neutralin Software Engineering and Practices

Neutralin Pattern Matching Techniques

Abstract

Citations

917

Year

1999

PageRank

3.9 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Analysis Of Generalized Pattern Searches

·2002·714 citations

Flexible Pattern Matching In Strings

·2002·274 citations

Pattern Grammar

·2000·546 citations

Property Specification Patterns For Finite-State Verification

·1998·270 citations

Regular Languages

·1997·315 citations

Analyzing Oriented Patterns

·1987·432 citations

Pattern Matching In Trees

·1982·299 citations

Finding Patterns Common To A Set Of Strings

·1980·369 citations

Programming Techniques: Regular Expression Search Algorithm

·1968·638 citations

Regular Expressions And State Graphs For Automata

·1960·328 citations