Jump to main content

yr 〜
yr

Search results 11

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings
Paper図書
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingVMCAI D'Souza, Deepak Lal, Akash Larsen, K. G. (Kim G.)

Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
Paper図書
Kim G. Larsen, Peter Niebert (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingFORMATS Larsen, K. G. (Kim G.) Niebert, Peter

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Paper図書
Ed Brinksma, Kim Guldstrand Larsen (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingCAV (Conference) Brinksma, Ed Larsen, K. G. (Kim G.)

CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings

CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings
Paper図書
Kim G. Larsen, Mogens Nielsen (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingInternational Conference on Concurrency Theory Larsen, K. G. (Kim G.) Nielsen, M. (Mogens)

Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2404)

Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2404)
Paper図書
Springer2002.<M17-03-118>
National Diet Library
  • Author HeadingBrinksma, Ed. Larsen, K. G. (Kim G.) , 1957- CAV (Conference) (14t...

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)
Paper図書
Springerc2004.<M17-04-2997>
National Diet Library
  • Author HeadingUniversite de Provence. Larsen, K. G. (Kim G.) , 1957- Niebert, Peter. Labor...

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Paper図書
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)Springerc1998
Other Libraries in Japan
  • Author Heading...mputer Science Larsen, K. G. (Kim G.) Skyum, Sven Winskel, Glynn

CONCUR 2001 -- concurrency theory : 12th international conference : Aalborg, Denmark, August 20-25, 2001 : proceedings. : 12th international conference on concurrency theory : Aug 2001, Aalborg, Denmark. (Lecture Notes in Computer Science ; 2154)

CONCUR 2001 -- concurrency theory : 12th international conference : Aalborg, Denmark, August 20-25, 2001 : proceedings. : 12th international conference on concurrency theory : Aug 2001, Aalborg, Denmark. (Lecture Notes in Computer Science ; 2154)
Paper図書
Springerc2001.<M17-03-2410>
National Diet Library
  • Author Heading...puter Science. Larsen, K. G. (Kim G.) , 1957- Nielsen, M. (Mogens) ...

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings : gw : us

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings : gw : us
Paper図書
K.G. Larsen, A. Skou (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingLarsen, K. G. (Kim G.) Skou, A. (Arne) CAV (Conferen...

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.). (Lecture notes in computer science)

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8145>
National Diet Library
  • Author HeadingCAV '91 (3rd : 1991 : Ålborg, Denmark) Larsen, K. G. (Kim G.) , 1957- Skou, A. (Arne) , 194...

Context-dependent bisimulation between processes

Context-dependent bisimulation between processes
Paper図書
by Kim Guldstrand LarsenUniversity of Edinburgh, Department of Computer Science1986
Other Libraries in Japan
  • Author HeadingLarsen, K. G. (Kim G.)

Reached to the end of result.

RSS