@INPROCEEDINGS{Mukhopadhyay2000,
AUTHOR = {Mukhopadhyay, Supratik and Podelski, Andreas},
EDITOR = {Lloyd, John W. and Dahl, Ver{\"o}nica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Lu{\'i}s Moniz and Sagiv, Yehoshua and Stuckey, Peter J.},
TITLE = {Model Checking for Timed Logic Processes},
BOOKTITLE = {Proceedings of the 1st International Conference on Computational Logic},
PUBLISHER = {Springer},
YEAR = {2000},
VOLUME = {1861},
PAGES = {598--612},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Imperial College, London, UK},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Supratik Mukhopadhyay | Created
06/21/2001 05:08:41 PM |
Revisions
4.
3.
2.
1.
0. | Editor(s)
Uwe Brahm
Manfred Jaeger
Supratik Mukhopadhyay
Uwe Brahm
Uwe Brahm | Edit Dates
28.08.2001 11:40:46
27/08/2001 12:20:46
23/08/2001 19:08:41
06/26/2001 03:12:20 AM
21/06/2001 17:08:41 |