*banner
 

Behavioral Types for Open Software Systems
Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle Stoelinga

Citation
Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle Stoelinga. "Behavioral Types for Open Software Systems". Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.

Abstract
(No abstract.)

Electronic downloads

Citation formats  
  • HTML
    Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom
    Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle
    Stoelinga. <a
    href="http://chess.eecs.berkeley.edu/pubs/26.html"
    ><i>Behavioral Types for Open Software
    Systems</i></a>, Talk or presentation,  23,
    February, 2006; Presented in conjunction with BEARS 2006.
  • Plain text
    Dirk Beyer, Arindam Chakrabarti, Luca de Alfaro, Tom
    Henzinger, Marcin Jurdzinski, Freddy Mang, Marielle
    Stoelinga. "Behavioral Types for Open Software
    Systems". Talk or presentation,  23, February, 2006;
    Presented in conjunction with BEARS 2006.
  • BibTeX
    @presentation{BeyerChakrabartiAlfaroHenzingerJurdzinskiMangStoelinga06_BehavioralTypesForOpenSoftwareSystems,
        author = {Dirk Beyer and Arindam Chakrabarti and Luca de
                  Alfaro and Tom Henzinger and Marcin Jurdzinski and
                  Freddy Mang and Marielle Stoelinga},
        title = {Behavioral Types for Open Software Systems},
        day = {23},
        month = {February},
        year = {2006},
        note = {Presented in conjunction with BEARS 2006.},
        abstract = {(No abstract.)},
        URL = {http://chess.eecs.berkeley.edu/pubs/26.html}
    }
    

Posted by Jonathan Sprinkle on 27 Feb 2006.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess