![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "finite-state concurrent system"
@article{DBLP:journals/arc/Zhang23, author = {Kuize Zhang}, title = {A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems}, journal = {Annu. Rev. Control.}, volume = {56}, pages = {100902}, year = {2023} }
@article{DBLP:journals/sttt/PennaIMTZ04, author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli}, title = {Exploiting transition locality in automatic verification of finite-state concurrent systems}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {6}, number = {4}, pages = {320--341}, year = {2004} }
@inproceedings{DBLP:conf/apn/Clarke94, author = {Edmund M. Clarke}, title = {Automatic Verification of Finite-state Concurrent Systems}, booktitle = {Application and Theory of Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {815}, pages = {1}, publisher = {Springer}, year = {1994} }
@inproceedings{DBLP:conf/lics/Clarke94, author = {Edmund M. Clarke}, title = {Automatic Verification of Finite-State Concurrent Systems}, booktitle = {{LICS}}, pages = {126}, publisher = {{IEEE} Computer Society}, year = {1994} }
@inproceedings{DBLP:conf/rex/ClarkeGL93, author = {Edmund M. Clarke and Orna Grumberg and David E. Long}, title = {Verification Tools for Finite-State Concurrent Systems}, booktitle = {{REX} School/Symposium}, series = {Lecture Notes in Computer Science}, volume = {803}, pages = {124--175}, publisher = {Springer}, year = {1993} }
@article{DBLP:journals/logcom/ClarkeGK92, author = {Edmund M. Clarke and Orna Grumberg and Robert P. Kurshan}, title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems}, journal = {J. Log. Comput.}, volume = {2}, number = {5}, pages = {605--618}, year = {1992} }
@article{DBLP:journals/jss/TitusS89, author = {Gregory B. Titus and Allan M. Stavely}, title = {Finding reachable states of finite-state concurrent systems}, journal = {J. Syst. Softw.}, volume = {9}, number = {4}, pages = {253--272}, year = {1989} }
@inproceedings{DBLP:conf/avmfss/Dill89, author = {David L. Dill}, title = {Timing Assumptions and Verification of Finite-State Concurrent Systems}, booktitle = {Automatic Verification Methods for Finite State Systems}, series = {Lecture Notes in Computer Science}, volume = {407}, pages = {197--212}, publisher = {Springer}, year = {1989} }
@inproceedings{DBLP:conf/ershov/ClarkeGK89, author = {Edmund M. Clarke and Orna Grumberg and Robert P. Kurshan}, title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems}, booktitle = {Logic at Botik}, series = {Lecture Notes in Computer Science}, volume = {363}, pages = {81--90}, publisher = {Springer}, year = {1989} }
@inproceedings{DBLP:conf/csl/DaneluttoM88, author = {Marco Danelutto and Andrea Masini}, title = {A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems}, booktitle = {{CSL}}, series = {Lecture Notes in Computer Science}, volume = {385}, pages = {63--79}, publisher = {Springer}, year = {1988} }
@article{DBLP:journals/ipl/AptK86, author = {Krzysztof R. Apt and Dexter Kozen}, title = {Limits for Automatic Verification of Finite-State Concurrent Systems}, journal = {Inf. Process. Lett.}, volume = {22}, number = {6}, pages = {307--309}, year = {1986} }
@article{DBLP:journals/toplas/ClarkeES86, author = {Edmund M. Clarke and E. Allen Emerson and A. Prasad Sistla}, title = {Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {8}, number = {2}, pages = {244--263}, year = {1986} }
@inproceedings{DBLP:conf/nato/ClarkeBES84, author = {Edmund M. Clarke and Michael C. Browne and E. Allen Emerson and A. Prasad Sistla}, title = {Using Temporal Logic for Automatic Verification of Finite State Systems}, booktitle = {Logics and Models of Concurrent Systems}, series = {{NATO} {ASI} Series}, volume = {13}, pages = {3--26}, publisher = {Springer}, year = {1984} }
@inproceedings{DBLP:conf/popl/ClarkeES83, author = {Edmund M. Clarke and E. Allen Emerson and A. Prasad Sistla}, title = {Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: {A} Practical Approach}, booktitle = {{POPL}}, pages = {117--126}, publisher = {{ACM} Press}, year = {1983} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.