Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Search Results
1 result
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Para : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.
Form Methods Syst Des. 2017;51(2):270-307. doi: 10.1007/s10703-017-0297-4. Epub 2017 Sep 20.
Form Methods Syst Des. 2017.
PMID: 32009739
Free PMC article.
Cite
Cite