Peter Leven

From MaRDI portal
Person:2749809



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Directed and optimizing search methods in complex data structures.2007-10-11Paper
Model Checking Software
Lecture Notes in Computer Science
2007-09-28Paper
scientific article; zbMATH DE number 1980923 (Why is no real title available?)2003-09-15Paper
Toward real-time path planning in changing environments2001-10-21Paper


Research outcomes over time


This page was built for person: Peter Leven