<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/vldb/Kung84" mdate="2002-01-03">
<crossref>conf/vldb/84</crossref>
<author>David Chenho Kung</author>
<title>A Temporal Framework for Database Specification and Verification.</title>
<pages>91-99</pages>
<year>1984</year>
<booktitle>VLDB</booktitle>
<url>db/conf/vldb/vldb84.html#Kung84</url>
<ee>db/conf/vldb/Kung84.html</ee>
<cdrom>VLDB84/P091.PDF</cdrom>
<cite>...</cite>
<cite>...</cite>
<cite>journals/sigmod/BolourADW82</cite>
<cite>journals/is/BolourD83</cite>
<cite>...</cite>
<cite>conf/vldb/Bubenko79</cite>
<cite>conf/ifip/Bubenko80</cite>
<cite>conf/vldb/CastilhoCF82</cite>
<cite>...</cite>
<cite>journals/tse/Chow78</cite>

<cite>...</cite>
<cite>journals/is/FurtadoSC81</cite>
<cite>...</cite>
<cite>conf/vldb/GolshaniMS83</cite>
<cite>...</cite>
<cite>journals/jacm/Kowalski75</cite>
<cite>...</cite>
<cite>...</cite>
<cite>...</cite>
<cite>journals/is/LevesonWB83</cite>

<cite>...</cite>
<cite>...</cite>
<cite>journals/bit/Lundberg82</cite>
<cite>...</cite>
<cite>journals/is/MinkerN83</cite>
<cite>...</cite>
<cite>...</cite>
<cite>journals/cacm/Ramon83</cite>
<cite>journals/toplas/OwickiL82</cite>
<cite>...</cite>

<cite>journals/jacm/Robinson65</cite>
<cite>conf/vldb/RollandLR79</cite>
<cite>conf/vldb/Schiel83</cite>
<cite>journals/is/Sernadas80</cite>
<cite>journals/cacm/Winograd79</cite>
</inproceedings>
</dblp>
