Expander2

Peter Padawitz. Expander2. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Volume 3393 of Lecture Notes in Computer Science, pages 236-258, Springer, 2005. [doi]

@inproceedings{Padawitz05,
  title = {Expander2},
  author = {Peter Padawitz},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=236},
  researchr = {https://researchr.org/publication/Padawitz05},
  cites = {0},
  citedby = {0},
  pages = {236-258},
  booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday},
  editor = {Hans-Jörg Kreowski and Ugo Montanari and Fernando Orejas and Grzegorz Rozenberg and Gabriele Taentzer},
  volume = {3393},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24936-2},
}