Your search returned 2 results.

Results
	1.	Objects, Agents, and Features [electronic resource] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / by Ryan, Mark [editor.] Meyer, John-Jules Ch [editor.] Ehrich, Hans-Dieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2975 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / by Cassez, Franck [editor.] Jard, Claude [editor.] Rozoy, Brigitte [editor.] Ryan, Mark D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2067 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search