@incollection{Sharir/99,
AUTHOR = {Sharir, Micha},
TITLE = {Recent developments in the theory of arrangements of surfaces},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {1-20},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Aluru-Sevilgen/99,
AUTHOR = {Aluru, Srinivas and Sevilgen, Fatih E.},
TITLE = {Dynamic compressed hyperoctrees with application to the $N$-body problem},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {21-33},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chaudhuri-Nandy/99a,
AUTHOR = {Chaudhuri, Jeet and Nandy, Subhas C.},
TITLE = {Largest empty rectangle among a point set},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {34-46},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Herrmann/99,
AUTHOR = {Herrmann, Philippe},
TITLE = {Renaming is necessary in timed regular expressions},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {47-59},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{DSouza-Thiagarajan/99,
AUTHOR = {D'Souza, Deepak and Thiagarajan, P.S.},
TITLE = {Product interval automata: A subclass of timed automata},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {60-71},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fagerberg/99,
AUTHOR = {Fagerberg, Rolf},
TITLE = {The complexity of rebalancing a binary search tree},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {72-83},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Demaine-Munro/99,
AUTHOR = {Demaine, Erik D. and Munro, Ian J.},
TITLE = {Fast allocation and deallocation with an improved buddy system},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {84-96},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Loding/99,
AUTHOR = {L{\"o}ding, Christof},
TITLE = {Optimal bounds for transformations of $\omega$-automata},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {97-109},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Wilke/99a,
AUTHOR = {Wilke, Thomas},
TITLE = {CTL$^+$ is exponentially more succinct than CTL},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {110-121},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Abadi-Fournet-Gonthier/99,
AUTHOR = {Abadi, Mart{\'{i}}n and Fournet, C{\'{e}}dric and Gonthier, Georges},
TITLE = {A top-down look at a secure message},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {122-141},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dix-Schlechta/99,
AUTHOR = {Dix, J{\"u}rgen and Schlechta, Karl},
TITLE = {Explaining updates by minimal sums},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {142-154},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lu-Murray-Rosenthal/99,
AUTHOR = {Lu, James J. and Murray, Neil V. and Rosenthal, Erik},
TITLE = {A foundation for hybrid knowledge bases},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {155-167},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{von_Oheimb/99,
AUTHOR = {von Oheimb, David},
TITLE = {Hoare logic for mutual recursion and local variables},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {168-180},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Levy-Maranget/99,
AUTHOR = {L{\'{e}}vy, Jean-Jacques and Maranget, Luc},
TITLE = {Explicit substitutions and programming languages},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {181-200},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Becchetti-Ianni-Marchetti-Spaccamela/99,
AUTHOR = {Becchetti, Luca and Ianni, Miriam di and Marchetti-Spaccamela, Alberto},
TITLE = {Approximation algorithms for routing and call scheduling in all-optical chains and rings},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {201-212},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Garg-Jain-Swamy/99,
AUTHOR = {Garg, Naveen and Jain, Sachin and Swamy, Chaitanya},
TITLE = {A randomized algorithm for flow shop scheduling},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {213-218},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Castellani-Mukund-Thiagarajan/99,
AUTHOR = {Castellani, Ilaria and Mukund, Madhavan and Thiagarajan, P.S.},
TITLE = {Synthesizing distributed transition systems from global specifications},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {219-231},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mukhopadhyay-Podelski/99,
AUTHOR = {Mukhopadhyay, Supratik and Podelski, Andreas},
TITLE = {Beyond region graphs: Symbolic forward analysis of timed automata},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {232-244},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bidoit-Amo/99,
AUTHOR = {Bidoit, Nicole and Amo, Sandra de},
TITLE = {Implicit temporal query languages: Towards completeness},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {245-257},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Baaz-Ciabattoni-Fermuller-Veith/99,
AUTHOR = {Baaz, Matthias and Ciabattoni, Agata and Ferm{\"u}ller, Christian and Veith, Helmut},
TITLE = {On the undecidability of some sub-classical first-order logics},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {258-268},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kari-Daley-Gloor-Siromoney-Landweber/99,
AUTHOR = {Kari, Lila and Daley, Mark and Gloor, Greg and Siromoney, Rani and Landweber, Laura F.},
TITLE = {How to compute with DNA},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {269-282},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chandran/99,
AUTHOR = {Chandran, L. Sunil},
TITLE = {A high girth graph construction and a lower bound for hitting set size for combinatorial rectangles},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {283-290},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schwerdt-Smid-Janardan-Johnson-Majhi/99,
AUTHOR = {Schwerdt, J{\"o}rg and Smid, Michiel and Janardan, Ravi and Johnson, Eric and Majhi, Jayanth},
TITLE = {Protecting facets in layered manufacturing},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {291-303},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Amadio-Boudol-Lhoussaine/99,
AUTHOR = {Amadio, Roberto M. and Boudol, G{\'{e}}rard and Lhoussaine, C{\'{e}}dric},
TITLE = {The receptive distributed $\pi$-calculus},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {304-315},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Esik-Okawa/99,
AUTHOR = {{\'{E}}sik, Zolt{\'{a}}n and Okawa, Satoshi},
TITLE = {Series and parallel operations on pomsets},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {316-328},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mostefaoui-Raynal/99,
AUTHOR = {Most{\'{e}}faoui, Achour and Raynal, Michel},
TITLE = {Unreliable failure detectors with limited scope accuracy and an application to consensus},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {329-340},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Toda/99,
AUTHOR = {Toda, Seinosuke},
TITLE = {Graph isomorphism: Its complexity and algorithms},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {341-341},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sauerhoff/99a,
AUTHOR = {Sauerhoff, Martin},
TITLE = {Computing with restricted nondeterminism: The dependence of the OBDD size on the number of nondeterministic variables},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {342-355},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sieling/99a,
AUTHOR = {Sieling, Detlef},
TITLE = {Lower bounds for linear transformed OBDDs and FBDDs},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {356-368},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Huth/99,
AUTHOR = {Huth, Michael},
TITLE = {A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {369-380},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Corradini-Nicola-Labella/99a,
AUTHOR = {Corradini, Flavio and Nicola, Rocco de and Labella, Anna},
TITLE = {Graded modalities and resource bisimulation},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {381-393},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schindelhauer-Jakoby/99,
AUTHOR = {Schindelhauer, Christian and Jakoby, Andreas},
TITLE = {The non-recursive power of erroneous computation},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {394-406},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Yamakami/99b,
AUTHOR = {Yamakami, Tomoyuki},
TITLE = {Analysis of quantum functions},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {407-419},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Heinemann/99,
AUTHOR = {Heinemann, Bernhard},
TITLE = {On sets growing continuously},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {420-431},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{van_der_Meyden-Shilov/99,
AUTHOR = {van der Meyden, Ron and Shilov, Nikolay V.},
TITLE = {Model checking knowledge and time in systems with perfect recall},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {432-445},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mehlhorn/99a,
AUTHOR = {Mehlhorn, Kurt},
TITLE = {The engineering of some bipartite matching programs},
BOOKTITLE = {Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99 (Chennai, India, December 13-15, 1999)},
SERIES = {LNCS},
VOLUME = {1738},
PAGES = {446-449},
YEAR = {1999},
EDITOR = {Pandu, Rangan, C. and Raman, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}