BibTeX records: Hartmann J. Genrich

download as .bib file

@article{DBLP:journals/fac/Genrich02,
  author    = {Hartmann J. Genrich},
  title     = {Dynamical Quantities in Net Systems},
  journal   = {Formal Asp. Comput.},
  volume    = {14},
  number    = {1},
  pages     = {55--89},
  year      = {2002},
  url       = {https://doi.org/10.1007/s001650200027},
  doi       = {10.1007/s001650200027},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fac/Genrich02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/GenrichKV01,
  author    = {Hartmann J. Genrich and
               Robert K{\"{u}}ffner and
               Klaus Voss},
  title     = {Executable Petri net models for the analysis of metabolic pathways},
  journal   = {{STTT}},
  volume    = {3},
  number    = {4},
  pages     = {394--404},
  year      = {2001},
  url       = {https://doi.org/10.1007/s100090100058},
  doi       = {10.1007/s100090100058},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/GenrichKV01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichHW94,
  author    = {Hartmann J. Genrich and
               Hans{-}Michael Hanisch and
               Konrad W{\"{o}}llhaf},
  title     = {Verification of Recipe-Based Control Procedures by Means of Predicate/Transition
               Nets},
  booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
               Zaragoza, Spain, June 20-24, 1994, Proceedings},
  pages     = {278--297},
  year      = {1994},
  crossref  = {DBLP:conf/apn/1994},
  url       = {https://doi.org/10.1007/3-540-58152-9_16},
  doi       = {10.1007/3-540-58152-9_16},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/GenrichHW94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichS92,
  author    = {Hartmann J. Genrich and
               Robert M. Shapiro},
  title     = {Formal Verification of an Arbiter Cascade},
  booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
               Sheffield, UK, June 22-26, 1992, Proceedings},
  pages     = {205--223},
  year      = {1992},
  crossref  = {DBLP:conf/apn/1992},
  url       = {https://doi.org/10.1007/3-540-55676-1_12},
  doi       = {10.1007/3-540-55676-1_12},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/GenrichS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/Genrich88,
  author    = {Hartmann J. Genrich},
  title     = {Equivalence transformations of PrT-nets},
  booktitle = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
               and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
               papers},
  pages     = {179--208},
  year      = {1988},
  crossref  = {DBLP:conf/apn/1988},
  url       = {https://doi.org/10.1007/3-540-52494-0_30},
  doi       = {10.1007/3-540-52494-0_30},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/Genrich88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ac/Genrich86,
  author    = {Hartmann J. Genrich},
  title     = {Predicate/Transition Nets},
  booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
               Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
               8.-19. September 1986},
  pages     = {207--247},
  year      = {1986},
  crossref  = {DBLP:conf/ac/1986petri1},
  url       = {https://doi.org/10.1007/BFb0046841},
  doi       = {10.1007/BFb0046841},
  timestamp = {Fri, 19 May 2017 13:10:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ac/Genrich86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Genrich86,
  author    = {Hartmann J. Genrich},
  title     = {Net Theory and Application (Invited Paper)},
  booktitle = {{IFIP} Congress},
  pages     = {823--832},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ifip/Genrich86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/Genrich85,
  author    = {Hartmann J. Genrich},
  title     = {Projections of {C/E} systems},
  booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
               and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
  pages     = {224--232},
  year      = {1985},
  crossref  = {DBLP:conf/apn/1985},
  url       = {https://doi.org/10.1007/BFb0016214},
  doi       = {10.1007/BFb0016214},
  timestamp = {Fri, 19 May 2017 12:26:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/Genrich85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/1984,
  editor    = {Grzegorz Rozenberg and
               Hartmann J. Genrich and
               G{\'{e}}rard Roucairol},
  title     = {Advances in Petri Nets 1984, European Workshop on Applications and
               Theory in Petri Nets, covers the last two years which include the
               workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
               papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {188},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/3-540-15204-0},
  doi       = {10.1007/3-540-15204-0},
  isbn      = {3-540-15204-0},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eik/GenrichJRT84,
  author    = {Hartmann J. Genrich and
               Dirk Janssens and
               Grzegorz Rozenberg and
               P. S. Thiagarajan},
  title     = {Generalized Handle Grammars and Their Relation to Petri Nets},
  journal   = {Elektronische Informationsverarbeitung und Kybernetik},
  volume    = {20},
  number    = {4},
  pages     = {179--206},
  year      = {1984},
  timestamp = {Mon, 07 Jul 2003 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/eik/GenrichJRT84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/GenrichT84,
  author    = {Hartmann J. Genrich and
               P. S. Thiagarajan},
  title     = {A Theory of Bipolar Synchronization Schemes},
  journal   = {Theor. Comput. Sci.},
  volume    = {30},
  pages     = {241--318},
  year      = {1984},
  url       = {https://doi.org/10.1016/0304-3975(84)90137-3},
  doi       = {10.1016/0304-3975(84)90137-3},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/GenrichT84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichL82,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach},
  title     = {S-Invariance in Predicate/Transition Nets},
  booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
               European Workshop on Applications and Theory of Petri Nets, Varenna,
               Italy, September 27-30, 1982},
  pages     = {98--111},
  year      = {1982},
  crossref  = {DBLP:conf/apn/1982},
  url       = {https://doi.org/10.1007/978-3-642-69028-0_8},
  doi       = {10.1007/978-3-642-69028-0_8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/GenrichL82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichS82,
  author    = {Hartmann J. Genrich and
               Robert M. Shapiro},
  title     = {A Diagram Editor for Line Drawings with Inscriptions},
  booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
               European Workshop on Applications and Theory of Petri Nets, Varenna,
               Italy, September 27-30, 1982},
  pages     = {112--131},
  year      = {1982},
  crossref  = {DBLP:conf/apn/1982},
  url       = {https://doi.org/10.1007/978-3-642-69028-0_9},
  doi       = {10.1007/978-3-642-69028-0_9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/GenrichS82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gg/GenrichJRT82,
  author    = {Hartmann J. Genrich and
               Dirk Janssens and
               Grzegorz Rozenberg and
               P. S. Thiagarajan},
  title     = {Petri nets and their relation to graph grammars},
  booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International
               Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
               4-8, 1982},
  pages     = {115--129},
  year      = {1982},
  crossref  = {DBLP:conf/gg/1982},
  url       = {https://doi.org/10.1007/BFb0000102},
  doi       = {10.1007/BFb0000102},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gg/GenrichJRT82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/GenrichL81,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach},
  title     = {System Modelling with High-Level Petri Nets},
  journal   = {Theor. Comput. Sci.},
  volume    = {13},
  pages     = {109--136},
  year      = {1981},
  url       = {https://doi.org/10.1016/0304-3975(81)90113-4},
  doi       = {10.1016/0304-3975(81)90113-4},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/GenrichL81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenrichT80,
  author    = {Hartmann J. Genrich and
               P. S. Thiagarajan},
  title     = {Bipolar Synchronization Systems},
  booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
               The Netherland, July 14-18, 1980, Proceedings},
  pages     = {257--272},
  year      = {1980},
  crossref  = {DBLP:conf/icalp/1980},
  url       = {https://doi.org/10.1007/3-540-10003-2_76},
  doi       = {10.1007/3-540-10003-2_76},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/GenrichT80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GenrichLT80,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach and
               P. S. Thiagarajan},
  title     = {Substitution Systems - {A} Family of System Models Based on Concurrency},
  booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
               of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  pages     = {698--723},
  year      = {1980},
  crossref  = {DBLP:conf/mfcs/1980},
  url       = {https://doi.org/10.1007/BFb0022544},
  doi       = {10.1007/BFb0022544},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/GenrichLT80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ac/GenrichLT75,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach and
               P. S. Thiagarajan},
  title     = {Elements of General Net Theory},
  booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
               General Net Theory of Processes and Systems, Hamburg, October 8-19,
               1979},
  pages     = {21--163},
  year      = {1979},
  crossref  = {DBLP:conf/ac/1975nt},
  url       = {https://doi.org/10.1007/3-540-10001-6_22},
  doi       = {10.1007/3-540-10001-6_22},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ac/GenrichLT75},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ac/GenrichS75,
  author    = {Hartmann J. Genrich and
               E. Stankiewicz{-}Wiechno},
  title     = {A Dictionary of Some Basic Notions of Net Theory},
  booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
               General Net Theory of Processes and Systems, Hamburg, October 8-19,
               1979},
  pages     = {519--531},
  year      = {1979},
  crossref  = {DBLP:conf/ac/1975nt},
  url       = {https://doi.org/10.1007/3-540-10001-6_39},
  doi       = {10.1007/3-540-10001-6_39},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ac/GenrichS75},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/scc/GenrichL79,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach},
  title     = {The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets},
  booktitle = {Semantics of Concurrent Computation, Proceedings of the International
               Symposium, Evian, France, July 2-4, 1979},
  pages     = {123--147},
  year      = {1979},
  crossref  = {DBLP:conf/scc/1979},
  url       = {https://doi.org/10.1007/BFb0022467},
  doi       = {10.1007/BFb0022467},
  timestamp = {Fri, 19 May 2017 12:26:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scc/GenrichL79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/csur/GenrichT78,
  author    = {Hartmann J. Genrich and
               P. S. Thiagarajan},
  title     = {Surveyor's Forum: Net Progress},
  journal   = {{ACM} Comput. Surv.},
  volume    = {10},
  number    = {1},
  pages     = {84--85},
  year      = {1978},
  url       = {http://doi.acm.org/10.1145/356715.356723},
  doi       = {10.1145/356715.356723},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/csur/GenrichT78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GenrichL78,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach},
  title     = {Facts in Place/Transition-Nets},
  booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
               Symposium, Zakopane, Poland, September 4-8, 1978},
  pages     = {213--231},
  year      = {1978},
  crossref  = {DBLP:conf/mfcs/1978},
  url       = {https://doi.org/10.1007/3-540-08921-7_69},
  doi       = {10.1007/3-540-08921-7_69},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/GenrichL78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GenrichT76,
  author    = {Hartmann J. Genrich and
               Gerda Thieler{-}Mevissen},
  title     = {The Calculus of Facts},
  booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
               Gdansk, Poland, September 6-10, 1976, Proceedings},
  pages     = {588--595},
  year      = {1976},
  crossref  = {DBLP:conf/mfcs/1976},
  url       = {https://doi.org/10.1007/3-540-07854-1_232},
  doi       = {10.1007/3-540-07854-1_232},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/GenrichT76},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gi/Genrich75,
  author    = {Hartmann J. Genrich},
  title     = {Bel{\"{a}}stigung der Menschen durch Computer},
  booktitle = {{GI} - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975},
  pages     = {94--105},
  year      = {1975},
  crossref  = {DBLP:conf/gi/1975},
  url       = {https://doi.org/10.1007/3-540-07410-4_623},
  doi       = {10.1007/3-540-07410-4_623},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gi/Genrich75},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Genrich75,
  author    = {Hartmann J. Genrich},
  title     = {Extended Simple Regular Expressions},
  booktitle = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
               Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
               September 1-5, 1975, Proceedings},
  pages     = {231--237},
  year      = {1975},
  crossref  = {DBLP:conf/mfcs/1975},
  url       = {https://doi.org/10.1007/3-540-07389-2_201},
  doi       = {10.1007/3-540-07389-2_201},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/Genrich75},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acta/GenrichL73,
  author    = {Hartmann J. Genrich and
               Kurt Lautenbach},
  title     = {Synchronisationsgraphen},
  journal   = {Acta Inf.},
  volume    = {2},
  pages     = {143--161},
  year      = {1973},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/acta/GenrichL73},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/1994,
  editor    = {Robert Valette},
  title     = {Application and Theory of Petri Nets 1994, 15th International Conference,
               Zaragoza, Spain, June 20-24, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {815},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58152-9},
  doi       = {10.1007/3-540-58152-9},
  isbn      = {3-540-58152-9},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/1992,
  editor    = {Kurt Jensen},
  title     = {Application and Theory of Petri Nets 1992, 13th International Conference,
               Sheffield, UK, June 22-26, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {616},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55676-1},
  doi       = {10.1007/3-540-55676-1},
  isbn      = {3-540-55676-1},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/1988,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
               and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
               papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {424},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-52494-0},
  doi       = {10.1007/3-540-52494-0},
  isbn      = {3-540-52494-0},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ac/1986petri1,
  editor    = {Wilfried Brauer and
               Wolfgang Reisig and
               Grzegorz Rozenberg},
  title     = {Petri Nets: Central Models and Their Properties, Advances in Petri
               Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
               8.-19. September 1986},
  series    = {Lecture Notes in Computer Science},
  volume    = {254},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/978-3-540-47919-2},
  doi       = {10.1007/978-3-540-47919-2},
  isbn      = {3-540-17905-4},
  timestamp = {Fri, 19 May 2017 13:10:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ac/1986petri1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/1985,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
               and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {222},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/BFb0016202},
  doi       = {10.1007/BFb0016202},
  isbn      = {3-540-16480-4},
  timestamp = {Fri, 19 May 2017 12:26:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apn/1982,
  editor    = {Anastasia Pagnoni and
               Grzegorz Rozenberg},
  title     = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
               European Workshop on Applications and Theory of Petri Nets, Varenna,
               Italy, September 27-30, 1982},
  series    = {Informatik-Fachberichte},
  volume    = {66},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/978-3-642-69028-0},
  doi       = {10.1007/978-3-642-69028-0},
  isbn      = {3-540-12309-1},
  timestamp = {Fri, 26 May 2017 00:48:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/apn/1982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gg/1982,
  editor    = {Hartmut Ehrig and
               Manfred Nagl and
               Grzegorz Rozenberg},
  title     = {Graph-Grammars and Their Application to Computer Science, 2nd International
               Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
               4-8, 1982},
  series    = {Lecture Notes in Computer Science},
  volume    = {153},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/BFb0000094},
  doi       = {10.1007/BFb0000094},
  isbn      = {3-540-12310-5},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gg/1982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1980,
  editor    = {J. W. de Bakker and
               Jan van Leeuwen},
  title     = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
               The Netherland, July 14-18, 1980, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {85},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-10003-2},
  doi       = {10.1007/3-540-10003-2},
  isbn      = {3-540-10003-2},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1980},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1980,
  editor    = {Piotr Dembinski},
  title     = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
               of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  series    = {Lecture Notes in Computer Science},
  volume    = {88},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/BFb0022491},
  doi       = {10.1007/BFb0022491},
  isbn      = {3-540-10027-X},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1980},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ac/1975nt,
  editor    = {Wilfried Brauer},
  title     = {Net Theory and Applications, Proceedings of the Advanced Course on
               General Net Theory of Processes and Systems, Hamburg, October 8-19,
               1979},
  series    = {Lecture Notes in Computer Science},
  volume    = {84},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-100016},
  doi       = {10.1007/3-540-100016},
  isbn      = {3-540-10001-6},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ac/1975nt},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/scc/1979,
  editor    = {Gilles Kahn},
  title     = {Semantics of Concurrent Computation, Proceedings of the International
               Symposium, Evian, France, July 2-4, 1979},
  series    = {Lecture Notes in Computer Science},
  volume    = {70},
  publisher = {Springer},
  year      = {1979},
  url       = {https://doi.org/10.1007/BFb0022459},
  doi       = {10.1007/BFb0022459},
  isbn      = {3-540-09511-X},
  timestamp = {Fri, 19 May 2017 12:26:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scc/1979},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1978,
  editor    = {J{\'{o}}zef Winkowski},
  title     = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
               Symposium, Zakopane, Poland, September 4-8, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {64},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-08921-7},
  doi       = {10.1007/3-540-08921-7},
  isbn      = {0-387-08921-7},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1978},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1976,
  editor    = {Antoni W. Mazurkiewicz},
  title     = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
               Gdansk, Poland, September 6-10, 1976, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {45},
  publisher = {Springer},
  year      = {1976},
  url       = {https://doi.org/10.1007/3-540-07854-1},
  doi       = {10.1007/3-540-07854-1},
  isbn      = {0-387-07854-1},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1976},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gi/1975,
  editor    = {J{\"{o}}rg R. M{\"{u}}hlbacher},
  title     = {{GI} - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975},
  series    = {Lecture Notes in Computer Science},
  volume    = {34},
  publisher = {Springer},
  year      = {1975},
  url       = {https://doi.org/10.1007/3-540-07410-4},
  doi       = {10.1007/3-540-07410-4},
  isbn      = {3-540-07410-4},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gi/1975},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1975,
  editor    = {Jir{\'{\i}} Becv{\'{a}}r},
  title     = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
               Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
               September 1-5, 1975, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {32},
  publisher = {Springer},
  year      = {1975},
  url       = {https://doi.org/10.1007/3-540-07389-2},
  doi       = {10.1007/3-540-07389-2},
  isbn      = {0-387-07389-2},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1975},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier