P. Moravec

Available identifiers

Publication	Date of Publication	Type
How to order vertices for distributed LTL model-checking based on accepting predecessors	2013-09-26	Paper
Distributed partial order reduction of state spaces	2013-09-25	Paper
Free-molecular gas flow in channels (pores) with physicochemical transformations on the surface	2010-06-30	Paper
Relatively complemented \(\lambda\)-lattices	2006-11-21	Paper
String Processing and Information Retrieval	2006-10-24	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Growth and evaporation of aerosol particles in the presence of adsorbable gases	2003-02-13	Paper
Effect of electromagnetic fields on transfer processes in heterogeneous systems.	2001-07-08	Paper
Trapping of impurity molecules in condensation from mixtures of gases	2000-05-25	Paper

This page was built for person: P. Moravec