Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
[BFH90] A. Bouajjani, J.C. Fernandez, and N. Halbwachs. Minimal model generation. In R.P. Kurshan and E.M. Clarke, editors, CAV 90: Automatic Verification Methods for Finite
 

Summary: [BFH90] A. Bouajjani, J.C. Fernandez, and N. Halbwachs. Minimal model generation. In R.P.
Kurshan and E.M. Clarke, editors, CAV 90: Automatic Verification Methods for Finite­
state Systems, Lecture Notes in Computer Science 531, pages 197--203. Springer­Verlag,
1990.
[ –
Cer¯ans] K. –
Cer¯ans. Decidability of bisimulation equivalence for parallel timer processes. In
CAV 92: Automatic Verification Methods for Finite­state Systems, Lecture Notes in
Computer Science. Springer­Verlag. To appear.
[CHR91] Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information
Processing Letters, 40(5):269--276, 1991.
[HNSY92] T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real­
time systems. In Proceedings of the Seventh Annual Symposium on Logic in Computer
Science, pages 394--406. IEEE Computer Society Press, 1992.
[HPS83] D. Harel, A. Pnueli, and J. Stavi. Propositional dynamic logic of regular programs.
Journal of Computer and System Sciences, 26(2):222--243, 1983.
[Lam87] L. Lamport. A fast mutual exclusion algorithm. ACM Transactions on Computer
Systems, 5(1):1--11, 1987.
[LY92] D. Lee and M. Yannakakis. Online minimization of transition systems. In Proceedings
of the 24th Annual Symposium on Theory of Computing. ACM Press, 1992.

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Henzinger, Thomas A. - Faculté Informatique et Communications, Ecole Polytechnique Fédérale de Lausanne

 

Collections: Computer Technologies and Information Sciences