Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sriram K. Rajamani" ( http://dblp.L3S.de/Authors/Sriram_K._Rajamani )

URL (Homepage):  http://research.microsoft.com/~sriram/  Author page on DBLP  Author page in RDF  Community of Sriram K. Rajamani in ASPL-2

Publication years (Num. hits)
1997-2001 (20) 2002-2004 (20) 2005-2008 (29) 2009-2010 (18) 2011 (3)
Publication types (Num. hits)
article(14) inproceedings(71) proceedings(5)
Venues (Conferences, Journals, ...)
CAV(10) TACAS(9) POPL(5) SAS(4) SPIN(4) ICCAD(3) PLDI(3) ACM Trans. Program. Lang. Syst...(2) APLAS(2) CONCUR(2) ESEC/SIGSOFT FSE(2) IEEE Software(2) ISEC(2) RV(2) SEFM(2) SIGSOFT FSE(2) More (+10 of total 49)
Authors
Sriram K. Rajamani(90) Thomas Ball(20) Aditya V. Nori(15) Thomas A. Henzinger(15) Shaz Qadeer(14) Jakob Rehof(8) Prasad Naldurg(5) Rajeev Alur(5) Avik Chaudhuri(4) Bhargav S. Gulavani(4) Vladimir Levin(4) Andreas Podelski(3) Byron Cook(3) G. Ramalingam(3) Madhu Gopinathan(3) SaiDeep Tetali(3) More (+10 of total 97)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 68 occurrences of 41 keywords
Results
Found 90 publication records. Showing 90 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Thomas Ball, Vladimir Levin, Sriram K. Rajamani A decade of software model checking with SLAM. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aditya V. Nori, Sriram K. Rajamani Program Analysis and Machine Learning: A Win-Win Deal. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aditya V. Nori, Sriram K. Rajamani Program Analysis and Machine Learning: A Win-Win Deal. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur Proofs from Tests. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Software model checking, abstraction refinement, directed testing
1Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani Refining abstract interpretations. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi GUESSTIMATE: a programming model for collaborative distributed systems. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF distributed systems, concurrency, collaborative applications, language extensions
1Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali Compositional may-must program analysis: unleashing the power of alternation. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software model checking, abstraction refinement, directed testing
1Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani (eds.) Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings Search on Bibsonomy VSTTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Analyzing Explicit Information Flow. Search on Bibsonomy ICISS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani Alternation for Termination. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Aditya V. Nori, Sriram K. Rajamani An empirical study of optimizations in YOGI. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, software model checking, abstraction refinement, directed testing
1Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam Representation dependence testing using program inversion. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee Merlin: specification inference for explicit information flow problems. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF security analysis tools, specification inference
1Sriram K. Rajamani Verification, Testing and Statistics. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Kiran Deshpande, Pankaj Jalote, Sriram K. Rajamani (eds.) Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009 Search on Bibsonomy ISEC The full citation details ... 2009 DBLP  BibTeX  RDF
1Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur The YogiProject: Software Property Checking via Static Analysis and Testing. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Verification, Testing and Statistics. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani ISOLATOR: dynamically ensuring isolation in comcurrent programs. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurreny, isolation, memory protection
1Aditya V. Nori, Sriram K. Rajamani Verification, Testing and Statistics. Search on Bibsonomy TAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Verification, Testing and Statistics. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1B. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala DebugAdvisor: a recommender system for debugging. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recommendation systems, search, debugging
1Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin Automating Software Testing Using Program Analysis. Search on Bibsonomy IEEE Software The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani A type system for data-flow integrity on Windows Vista. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data-flow integrity, hybrid type system, explicit substitution, dynamic access control
1Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani A Type System for Data-Flow Integrity on Windows Vista Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani A type system for data-flow integrity on windows vista. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data-flow integrity, hybrid type system, explicit substitution, dynamic access control
1Madhu Gopinathan, Sriram K. Rajamani Runtime Monitoring of Object Invariants with Guarantee. Search on Bibsonomy RV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gautam Shroff, Pankaj Jalote, Sriram K. Rajamani (eds.) Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008 Search on Bibsonomy ISEC The full citation details ... 2008 DBLP  BibTeX  RDF
1Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani Automatically Refining Abstract Interpretations. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons Proofs from tests. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstraction refinemen, software model checking, directed testing
1Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan A Work Allocation Language with Soft Constraints. Search on Bibsonomy CAiSE Forum The full citation details ... 2008 DBLP  BibTeX  RDF
1Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam Global Software Servicing: Observational Experiences at Microsoft. Search on Bibsonomy ICGSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Tests, Proofs and Refinements. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani Combining Tests and Proofs. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Madhu Gopinathan, Sriram K. Rajamani Enforcing object protocols by combining static and runtime analysis. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect oriented programming, program verification, invariants
1Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan SoftAlloc: A Work Allocation Language with Soft Constraints. Search on Bibsonomy ICWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga EON: modeling and analyzing dynamic access control systems with logic programs. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, automatic verification, dynamic access control
1Sriram K. Rajamani Software Is More Than Code. Search on Bibsonomy J. UCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha Verification of Object Relational Maps. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Static and Dynamic Analysis: Better Together. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani Programming asynchronous layers with CLARITY. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF asynchronous components, design for analyzability, concurrency, static analysis, event-driven programming
1Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani Intelligent Systems and Formal Methods in Software Engineering. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
1Sriram K. Rajamani Automatic Property Checking for Software: Past, Present and Future. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bhargav S. Gulavani, Sriram K. Rajamani Counterexample Driven Refinement for Abstract Interpretation. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani Automatic Property Checking for Software: Past, Present and Future. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner Thorough static analysis of device drivers. Search on Bibsonomy EuroSys The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal verification, software model checking
1Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani SYNERGY: a new algorithm for property checking. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF testing, software model checking, abstraction refinement, directed testing
1Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert NETRA: : seeing through access control. Search on Bibsonomy FMSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF privilege escalation, vulnerability reports, static analysis
1Thomas Ball, Todd D. Millstein, Sriram K. Rajamani Polymorphic predicate abstraction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphism, Software model checking, predicate abstraction
1Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani Sound Transaction-Based Reduction Without Cycle Detection. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kousha Etessami, Sriram K. Rajamani (eds.) Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Search on Bibsonomy CAV The full citation details ... 2005 DBLP  BibTeX  RDF
1James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy Righting Software. Search on Bibsonomy IEEE Software The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software engineering, model checking, formal methods, coding tools and techniques
1Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie Zing: Exploiting Program Structure for Model Checking Concurrent Software. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani Refining Approximations in Software Predicate Abstraction. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof Summarizing procedures in concurrent programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
1Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie Zing: A Model Checker for Concurrent Software. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof Stuck-Free Conformance. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani, Jakob Rehof Models for Contract Conformance. Search on Bibsonomy ISoLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jakob Rehof, Sriram K. Rajamani Models for Contract Conformance. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1Randal E. Bryant, Sriram K. Rajamani Verifying properties of hardware and software by predicate abstraction and model checking. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Andreas Podelski, Sriram K. Rajamani Boolean and Cartesian abstraction for model checking C programs. Search on Bibsonomy STTT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Software engineering, Model checking, Verification, Program analysis, Abstract interpretation
1Thomas Ball, Mayur Naik, Sriram K. Rajamani From symptom to cause: localizing errors in counterexample traces. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF debugging, software model checking
1Thomas Ball, Sriram K. Rajamani (eds.) Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani Fair Simulation. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran An assume-guarantee rule for checking simulation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF verification rules, Simulation relations
1Thomas Ball, Andreas Podelski, Sriram K. Rajamani Relative Completeness of Abstraction Refinement for Software Model Checking. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Sriram K. Rajamani, Jakob Rehof Types as models: model checking message-passing programs. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Sriram K. Rajamani The SLAM project: debugging system software via static analysis. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani, Jakob Rehof Conformance Checking for Models of Asynchronous Message Passing Software. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani Partial-Order Reduction in Symbolic State-Space Exploration. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani Automatic Predicate Abstraction of C Programs. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C
1Thomas Ball, Sagar Chaki, Sriram K. Rajamani Parameterized Verification of Multithreaded Software Libraries. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Andreas Podelski, Sriram K. Rajamani Boolean and Cartesian Abstraction for Model Checking C Programs. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Sriram K. Rajamani Automatically Validating Temporal Safety Properties of Interfaces. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Sriram K. Rajamani Bebop: a path-sensitive interprocedural dataflow engine. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Sriram K. Rajamani The SLAM Toolkit. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sriram K. Rajamani, Jakob Rehof A Behavioral Module System for the Pi-Calculus. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Sriram K. Rajamani Fair Bisimulation. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Sriram K. Rajamani Bebop: A Symbolic Model Checker for Boolean Programs. Search on Bibsonomy SPIN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. Search on Bibsonomy ICCAD The full citation details ... 2000 DBLP  BibTeX  RDF
1Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani Assume-Guarantee Refinement Between Different Time Scales. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani Formal specification and verification of a dataflow processor array. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  BibTeX  RDF
1Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani Symbolic Exploration of transition Hierarchies. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran An Assume-Guarantee Rule for Checking Simulation. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani You Assume, We Guarantee: Methodology and Case Studies. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran MOCHA: Modularity in Model Checking. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani Fair Simulation. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani Partial-Order Reduction in Symbolic State Space Exploration. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #90 of 90 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.