This directory contains postscript and PDF files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.


@incollection{DaSilva2008c, address = {Vienna, Austria}, author = {da Silva, L. D. and Gorg\^{o}nio, K. and Perkusich, A.}, booktitle = {Petri Net, Theory and Applications}, chapter = {21}, doi = {10.5772/5330}, editor = {Kordic, Vedran}, isbn = {978-3-902613-12-7}, month = feb, pages = {471--496}, publisher = {I-Tech Education and Publishing}, title = {{Petri Nets for Component-based Software Systems Development}}, url = {\_net\_theory\_and\_applications/petri\_nets\_for\_component-based\_software\_systems\_development}, year = {2008} }

@incollection{Oliveira2010c, address = {Hershey, USA}, author = {Oliveira, K. V. and Gorg\^{o}nio, K. and Perkusich, A. and Lima, A. M. N. and da Silva, L. D.}, booktitle = {Software Engineering for Secure Systems: Industrial and Research Perspectives}, doi = {10.4018/978-1-61520-837-1.ch012}, editor = {Mouratidis, H.}, isbn = {1615208372}, pages = {305--328}, publisher = {IGI Global}, title = {{Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems}}, url = {}, year = {2010} }

@incollection{Perkusich2010a, address = {Chichester, UK}, author = {Perkusich, A and Gorg\^{o}nio, K. C. and de Almeida, H. O.}, booktitle = {Qt For Symbian}, chapter = {6}, edition = {1}, editor = {Fitzek, Frank H P and Mikkonen, Tommi and Torp, Tony}, isbn = {978-0-470-75010-0}, pages = {95--116}, publisher = {John Wiley \& Sons}, title = {{Qt Apps and Native Symbian Extensions}}, url = {,descCd-tableOfContents.html}, year = {2010} }

This file was generated by bibtex2html 1.95.