Pages that link to "Item:Q3038608"

From MaRDI portal

← ACM Transactions on Programming Languages and Systems (Q3038608)

Jump to:navigation, search

The following pages link to ACM Transactions on Programming Languages and Systems (Q3038608):

Displaying 3 items.

Automatic verification of finite-state concurrent systems using temporal logic specifications (Q3719811) (← links)
An Efficient Unification Algorithm (Q3936229) (← links)
A Distributed Algorithm for Minimum-Weight Spanning Trees (Q3964023) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q3038608"