@Misc{od1,
  author =       {},
  title =        {{Myers Research Group - University of Utah, ATACS online}},
  note =         {\\ \verb|http://www.async.ece.utah.edu/atacs-bin/demo|},
  year =         {},
}

@Misc{od2,
  author =       {},
  title =        {{ Petrify: a tool for synthesis of Petri Nets and asynchronous circuits}},
  note =         {\\ \verb|http://www.lsi.upc.edu/~jordicf/petrify/distrib/home.html|},
  year =         {},
}

@Misc{od3,
  author =       {},
  title =        {{ Osobní stránky Luciana Lavagna - Osoba zabývající se asynchronními obvody}},
  note =         {\\ \verb|http://polimage.polito.it/~lavagno/|},
  year =         {},
}

@Book{od4,
  author =       {{Jens Sparsø}},
  title =        { Asynchronous Circuit Design - A Tutorial},
  publisher =    {},
  edition =      {},
  year =          2006,
  note =	{http://www.imm.dtu.dk/~jsp/},
}

@Article{od5,
  author =       {Jordi Cortadella},
  title =        {{Logic Synthesis of Asynchronous Controllers and Interfaces}},
  journal =      {Springer},
  pages =        {62--64},
  volume =       {},
  number =       ,
  year =         2002,
  note =  {http://books.google.com/}
}

@Misc{od6,
  author =       {},
  title =        {{Algorithm to Find SG}},
  note =         {\\ \verb|http://www.es.isy.liu.se/courses/TSTE71/download/Lecture_4_2006.pdf|},
  year =         {},
}

@Misc{od7,
  author =       {},
  title =        {{Xilinx}},
  note =         {\\ \verb|http://www.xilinx.com/|},
  year =         {},
}

@Book{od8,
  author =       {{Chris J. Myers}},
  title =        { Asynchronous Circuit Design},
  publisher =    {John Wiley and Sons, Inc. },
  edition =      {},
  year =          2001,
  note =	{http://www.async.ece.utah.edu/book/},
}


@Misc{od9,
  author =       {},
  title =        {{Petri Nets World}},
  note =         {\\ \verb|http://www.informatik.uni-hamburg.de/TGI/PetriNets/|},
  year =         {},
}

@Misc{od10,
  author =       {},
  title =        {{VSTGL (Visual STG Lab)}},
  note =         {\\ \verb|http://vstgl.sourceforge.net/|},
  year =         {},
}


