Cover Image

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /

This book constitutes the refereed proceedings of the 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, held in Braga, Portugal, in June 2010. The 16 revised papers classified as theory papers (10), application papers (2), and to...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Lilius, Johan. (Editor), Penczek, Wojciech. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6128
Subjects:
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.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13675-7

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13675-7

Similar Items