voronov's tags

automata automation automaton bdd bibtex-import bmc category chalmers circuit cnf code communication complexity concurrent construction des dft dll dna expression fdtd fold formal-verification formla-verification formula fp fpga fsa functional-programming germany haskell hdv hpc induction javascript layout ld limitedlookahead llp lout ltl md me microwave minisat model-checking modular np online open optimization parallel parsing planning plc qm recursion robots safete sat satelite sat-solver scheduling semantics sequence sfc smv software solver standard supervisory supremica symbolicmodelchecking synchronization synthesis temporal tex theory tomography typesetting unfold

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.