Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Search Results
4 results
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.
J Autom Reason. 2017;59(1):3-45. doi: 10.1007/s10817-016-9402-4. Epub 2017 Jan 11.
J Autom Reason. 2017.
PMID: 30069066
Free PMC article.
Empirical software metrics for benchmarking of verification tools.
Demyanova Y, Pani T, Veith H, Zuleger F.
Demyanova Y, et al. Among authors: zuleger f.
Form Methods Syst Des. 2017;50(2):289-316. doi: 10.1007/s10703-016-0264-5. Epub 2017 Jan 10.
Form Methods Syst Des. 2017.
PMID: 32103858
Free PMC article.
Item in Clipboard
[100TH ANNIVERSARY OF THE RUDOLFSTIFTUNG].
ZULEGER F.
ZULEGER F.
Wien Klin Wochenschr. 1964 Dec 11;76:877-80.
Wien Klin Wochenschr. 1964.
PMID: 14336952
German.
No abstract available.
Item in Clipboard
[Diabetes mellitus and pulmonary tuberculosis in the postwar years].
BERGER G, ZULEGER F.
BERGER G, et al. Among authors: zuleger f.
Klin Med Osterr Z Wiss Prakt Med. 1951 Feb 1;6(2):66-80.
Klin Med Osterr Z Wiss Prakt Med. 1951.
PMID: 14825682
Undetermined Language.
No abstract available.
Item in Clipboard
Cite
Cite