Lilius, Johan.
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / [electronic resource] : edited by Johan Lilius, Wojciech Penczek. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6128 0302-9743 ; . - Lecture Notes in Computer Science, 6128 .
9783642136757
10.1007/978-3-642-13675-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 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / [electronic resource] : edited by Johan Lilius, Wojciech Penczek. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6128 0302-9743 ; . - Lecture Notes in Computer Science, 6128 .
9783642136757
10.1007/978-3-642-13675-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