NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS

  • César Muñoz's Publications

    Air Traffic Management Systems

    Formal Methods

    Plan Execution and Planning

    Explicit Substitutions (1996-2001)

    Editor

    The documents distributed by this server have been provided by the contributing authors as a mean to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the US Government, the authors, or by other copyright holders. The documents distributed by this server are the author's personal drafts of pre-prints of such papers and may not be reposted without the explicit permission of the copyright holder.

    The tag [*] identifies links that are outside the NASA domain