Vector Sequence Analysis and Full Weak Safety for Concurrent Systems.

Mahesh Girkar Robert Moll

Published in: FCT (1993)

Keyphrases

sequence analysis
concurrent systems
sequence data
temporal logic
distributed systems
computational biology
protein sequences
model checking
petri net
formal specification
feature vectors
vector space
suffix array
database systems
statistically significant