Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Jensen, Kurt (Editor), Aalst, Wil M. P. (Editor), Balbo, Gianfranco (Editor), Koutny, Maciej (Editor), Wolf, Karsten (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Logic design.
Software Engineering.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Online Access:http://dx.doi.org/10.1007/978-3-642-38143-0
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-642-38143-0
Перейти в каталог НБ ТГУ

Similar Items