BibTeX records: Narayana Mani

download as .bib file

@inproceedings{DBLP:conf/dac/ChuML93,
  author    = {Tam Anh Chu and
               Narayana Mani and
               Clement K. C. Leung},
  editor    = {Alfred E. Dunlop},
  title     = {An Efficient Critical Race-Free State Assignment Technique for Asynchronous
               Finite State Machines},
  booktitle = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
               USA, June 14-18, 1993},
  pages     = {2--6},
  publisher = {{ACM} Press},
  year      = {1993},
  url       = {https://doi.org/10.1145/157485.157569},
  doi       = {10.1145/157485.157569},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/ChuML93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/ChuML93,
  author    = {Tam Anh Chu and
               Narayana Mani and
               Clement K. C. Leung},
  title     = {A new state assignment technique for asynchronous finite state machines},
  booktitle = {Third Great Lakes Symposium on Design Automation of High Performance
               {VLSI} Systems, Kalamazoo, MI, USA, March 5-6, 1993},
  pages     = {139--143},
  publisher = {{IEEE}},
  year      = {1993},
  url       = {https://doi.org/10.1109/GLSV.1993.224462},
  doi       = {10.1109/GLSV.1993.224462},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/glvlsi/ChuML93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/GopalakrishnanFAM89,
  author    = {Ganesh Gopalakrishnan and
               Richard M. Fujimoto and
               Venkatesh Akella and
               Narayana Mani},
  title     = {{HOP:} {A} process model for synchronous hardware; semantics and experiments
               in process composition},
  journal   = {Integr.},
  volume    = {8},
  number    = {3},
  pages     = {209--247},
  year      = {1989},
  url       = {https://doi.org/10.1016/0167-9260(89)90018-7},
  doi       = {10.1016/0167-9260(89)90018-7},
  timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/integration/GopalakrishnanFAM89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/GopalakrishnanMA89,
  author    = {Ganesh Gopalakrishnan and
               Narayana Mani and
               Venkatesh Akella},
  editor    = {Joseph Sifakis},
  title     = {Parallel Composition of Lockstep Synchronous Processes for Hardware
               Validation: Divide-and-Conquer Composition},
  booktitle = {Automatic Verification Methods for Finite State Systems, International
               Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {407},
  pages     = {374--382},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-52148-8\_31},
  doi       = {10.1007/3-540-52148-8\_31},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/avmfss/GopalakrishnanMA89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics