Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cortadella, Jordi (Editor), Reisig, Wolfgang (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series:	Lecture Notes in Computer Science, 3099
Subjects:	Mathematics. Computer communication systems. Software engineering. Operating systems (Computers). Computers. Computer science > Mathematics. Mathematical logic. Mathematical Logic and Foundations. Theory of Computation. Discrete Mathematics in Computer Science. Software Engineering. Operating Systems. Computer Communication Networks.
Online Access:	Full Text via HEAL-Link

Similar Items

Petri Net Synthesis
by: Badouel, Eric, et al.
Published: (2015)

Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
by: Gorrieri, Roberto
Published: (2017)

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /
Published: (2007)

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /
Published: (2005)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
Published: (2006)

Lectures on Concurrency and Petri Nets Advances in Petri Nets /
Published: (2004)

Transactions on Petri Nets and Other Models of Concurrency III
Published: (2009)

Unifying Petri Nets Advances in Petri Nets /
Published: (2001)

Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /
Published: (2001)

Introduction to Concurrency Theory Transition Systems and CCS /
by: Gorrieri, Roberto, et al.
Published: (2015)

Concept Lattices Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings /
Published: (2004)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Published: (2009)

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Published: (2005)

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /
Published: (2013)

Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings /
Published: (2002)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Published: (2015)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings /
Published: (2017)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings /
Published: (2008)

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
Published: (2007)

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
Published: (2015)

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
Published: (2015)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
Published: (2016)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
Published: (2016)

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Published: (2014)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
Published: (2005)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Published: (2010)

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Published: (2010)

Models of Strategic Reasoning Logics, Games, and Communities /
Published: (2015)

Computing System Reliability Models and Analysis /
by: Xie, Min, et al.
Published: (2004)

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
Published: (2005)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
Published: (2005)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Published: (2015)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Published: (2016)

Foundations of Algebraic Specification and Formal Software Development
by: Sannella, Donald, et al.
Published: (2012)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Published: (2010)

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Published: (2009)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
by: Poernomo, Iman Hafiz, et al.
Published: (2005)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /
Published: (2004)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών