Kristensen, Lars M.
Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / [electronic resource] : edited by Lars M. Kristensen, Laure Petrucci. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6709 0302-9743 ; . - Lecture Notes in Computer Science, 6709 .
9783642218347
10.1007/978-3-642-21834-7 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151
Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / [electronic resource] : edited by Lars M. Kristensen, Laure Petrucci. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6709 0302-9743 ; . - Lecture Notes in Computer Science, 6709 .
9783642218347
10.1007/978-3-642-21834-7 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151