Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Ursic, Silvio
1984.
7th International Conference on Automated Deduction.
Vol. 170,
Issue. ,
p.
80.
Keutzer, Kurt
1996.
Formal Methods in Computer-Aided Design.
Vol. 1166,
Issue. ,
p.
1.
Vasyukevich, Vadim
2011.
Asynchronous Operators of Sequential Logic: Venjunction & Sequention.
Vol. 101,
Issue. ,
p.
1.
Lauria, Massimo
Pudlák, Pavel
Rödl, Vojtěch
and
Thapen, Neil
2013.
Automata, Languages, and Programming.
Vol. 7965,
Issue. ,
p.
684.
Chang, Wonil
Song, Hyun Ah
and
Lee, Soo-Young
2013.
Neural Information Processing.
Vol. 8226,
Issue. ,
p.
106.
Marques-Pita, Manuel
Rocha, Luis M.
and
Nunes Amaral, Luís A.
2013.
Canalization and Control in Automata Networks: Body Segmentation in Drosophila melanogaster.
PLoS ONE,
Vol. 8,
Issue. 3,
p.
e55946.
Asarin, Eugene
Maler, Oded
Nickovic, Dejan
and
Ulus, Dogan
2017.
Formal Modeling and Analysis of Timed Systems.
Vol. 10419,
Issue. ,
p.
207.
Lauria, Massimo
2018.
Sailing Routes in the World of Computation.
Vol. 10936,
Issue. ,
p.
254.
Polkowski, Lech T.
2023.
Logic: Reference Book for Computer Scientists.
Vol. 245,
Issue. ,
p.
333.