The undecidability of propositional temporal logie for Petri nets

Bibliographic Details
Main Authors:	Cherkasova, Ludmila A. (Author), Kotov, Vadim E. (Author), Čerkasova, Ludmila A. (Author)
Format:	Article
Language:	English
Subjects:	Petriho siete logika časová články z novín a časopisov

Similar Items