default search action
BibTeX record journals/ijcs/KabakciogluS91
@article{DBLP:journals/ijcs/KabakciogluS91, author = {A. Mete Kabak{\c{c}}ioglu and Edward P. Stabler}, title = {Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs}, journal = {Int. J. Comput. Simul.}, volume = {1}, number = {3}, year = {1991}, timestamp = {Thu, 16 Apr 2020 13:55:55 +0200}, biburl = {https://dblp.org/rec/journals/ijcs/KabakciogluS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.