Structural Analysis for Stochastic Process Algebra Models 论文

2011Lecture notes in computer science引用 241
Formal Methods in VerificationGene Regulatory Network AnalysisEmbedded Systems Design Techniques