Jump to main content

yr 〜
yr

Search results 4

Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed. (Lecture notes in computer science)

Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9785>
National Diet Library
  • Author HeadingCAV '95 (7th : 1995 : Liège, Belgium) Wolper, Pierre.

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings : us : gw

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings : us : gw
Paper図書
Pierre Wolper (ed.)Springer-Verlagc1995
Other Libraries in Japan
  • Author HeadingCAV (Conference) Wolper, Pierre

Protocol specification, testing, and verification, XIII : proceedings of the IFIP TC 6/WG 6.1 Thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liège, Belgium, 25-28 May, 1993

Protocol specification, testing, and verification, XIII : proceedings of the IFIP TC 6/WG 6.1 Thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liège, Belgium, 25-28 May, 1993
Paper図書
edited by A. Danthine, G. Leduc, P. WolperNorth-Holland1993
Other Libraries in Japan
  • Author Heading...ndré Leduc, G. Wolper, Pierre

Synthesis of communicating processes from temporal logic specifications

Synthesis of communicating processes from temporal logic specifications
Paper図書
Pierre Léon WolperUniversity Microfilms International1985
Other Libraries in Japan
  • Author HeadingWolper, Pierre

Reached to the end of result.

RSS