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

Description
Physical Description:	Res. rus., angl., lit. 9 zázn. v angl.

Similar Items