Search:
	any fieldabstractaffiliationauthorauthor countauthority authorauthority instituteauthority journalauthority subjectcaptioncataloguer nicknamecited bycited by excluding self citescodencollaborationcollectiondate createddate modifieddivisiondoiexact authorexact first authorexact titleexperimentfile typefirst authorfulltextisbnissnitem countjournalkeywordmiscellaneousrecord IDreferencereference torefers torefers to excluding self citesreport numberrestrictionsubjecttitleyear
Search Tips :: Advanced Search

Search collections:

*** any public collection ***Administrative ReportsAuthor WorksAuthor Works for ApprovalITAM LibraryCompany PublicationsCompany Publications for Appro...Conference ContributionsConference MaterialsConference Materials for Appro...Conference ProceedingsConference ProgramseBooksEssaysExam TopicsLecture NotesMonographsPapersPostersPreprintsPresentationsProceedingsProduct InstructionsProduction CataloguesProject DocumentsReportsReports for ApprovalResearch ReportsSillabiStudy materialsStudy Materials for ApprovalThe Institute of Theoretical a...ThesesTheses for Approval

Sort by:	Display results:	Output format:
latest firsttitleauthorreport numberyear asc.desc. - or rank by -word similaritytimes citedselfcites	10 results25 results50 results100 results single listsplit by collection	BibTeXDublin CoreEndNoteEndNote (8-X)HTML briefHTML citesummaryHTML detailedMARCMARCXMLMODSNLMphoto captions onlyportfolioRefWorksUntitled

The Institute of Theoretical and Applied Mechanics

1 records found

Search took 0.05 seconds.

1.	Original version of the author's contribution as presented on USB, paper 830008_1.pdf.: PDF Verification of MPI applications Meca, Ondřej ; Böhm, Stanislav MPI, formal verification, statespace analysis, error detection Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.

Haven't found what you were looking for? Try your search on other servers:
Meca, Ondřej in Amazon Meca, Ondřej in CERN EDMS Meca, Ondřej in CERN Indico Meca, Ondřej in CERN Intranet Meca, Ondřej in CiteSeer Meca, Ondřej in Google Books Meca, Ondřej in Google Scholar Meca, Ondřej in Google Web Meca, Ondřej in IEC	Meca, Ondřej in IHS Meca, Ondřej in INSPEC Meca, Ondřej in INSPIRE Meca, Ondřej in ISO Meca, Ondřej in KISS Books/Journals Meca, Ondřej in KISS Preprints Meca, Ondřej in NEBIS Meca, Ondřej in SLAC Library Catalog Meca, Ondřej in Scirus