620
Penczek, Wojciech.
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach / [electronic resource] : / by Wojciech Penczek, Agata Pólrola. .- XXXII, 257 p.. online resource. ** Studies in Computational Intelligence, * 20 1860-949X ; )
TA1-2040 - Studies in Computational Intelligence, 20 .
ISBN: 9783540328704
10.1007/978-3-540-32870-4 doi
Subject Headings:
Engineering.;
Artificial intelligence.;
Mathematics.;
Applied mathematics.;
Engineering mathematics.;
Engineering.;
Engineering, general.;
Mathematics, general.;
Appl.Mathematics/Computational Methods of Engineering.;
Artificial Intelligence (incl. Robotics).;
Author Added Entry:
Pólrola, Agata.;
Copy Details:
Acc. No.: EBK9050, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Penczek, Wojciech.
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach / [electronic resource] : / by Wojciech Penczek, Agata Pólrola. .- XXXII, 257 p.. online resource. ** Studies in Computational Intelligence, * 20 1860-949X ; )
TA1-2040 - Studies in Computational Intelligence, 20 .
ISBN: 9783540328704
10.1007/978-3-540-32870-4 doi
Subject Headings:
Engineering.;
Artificial intelligence.;
Mathematics.;
Applied mathematics.;
Engineering mathematics.;
Engineering.;
Engineering, general.;
Mathematics, general.;
Appl.Mathematics/Computational Methods of Engineering.;
Artificial Intelligence (incl. Robotics).;
Author Added Entry:
Pólrola, Agata.;
Copy Details:
Acc. No.: EBK9050, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------