MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jakob Lichtenberg" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • On the symbolic verification of timed systems  
  • by Jesper Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard — 1999 — Department of Information Technology, Technical University of Denmark
  • …On the Symbolic Verification of Timed Systems   Jesper Møller Jakob Lichtenberg Henrik Reif…
  • Cited by 1 (0 self) – Add To MetaCart
  • Difference decision diagrams  
  • by Jesper Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard — 1999 — University of Copenhagen
  • …Difference Decision Diagrams   Jesper Møller Jakob Lichtenberg Henrik Reif Andersen Henrik…
  • Cited by 32 (2 self) – Add To MetaCart
  • Thorough Static Analysis of Device Drivers  
  • by Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner — 2006
  • …, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, and Abdullah Ustuner…
  • Cited by 54 (9 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB