Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing

Bibliographische Detailangaben

Veröffentlicht in:	BIC-TA (14. : 2019 : Zheng zhou) Bio-inspired computing: theories and applications ; Part 2
1. Verfasser:	Han, Ying-Jie (VerfasserIn)
Weitere Verfasser:	Nan, Xiao-Fei (VerfasserIn), Ban, Shao-Huan (VerfasserIn), Zhou, Qing-Lei (VerfasserIn)
Pages:	2
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!